Zbiór potęgowy \(\displaystyle{ P(A)}\) identyfikujesz z rodziną indykatorów zbiorów \(\displaystyle{ B \subseteq A}\), to jest funkcji \(\displaystyle{ A \to \mathbb Z / 2}\) takich, że \(\displaystyle{ f = \{1\}}\) i \(\displaystyle{ f[A \setminus B] = \{0\}}\).