Let $X$ be a D11: Set such that
| (i) | $\mathcal{I} : \mathcal{P}(X) \to \{ 0, 1 \}^X$ is an D4210: Indicator function operator on $\mathcal{P}(X)$ |
Then $\mathcal{I}$ is a D468: Bijective map.