insieme delle parti

Definizione

Sia $X$ un insieme. L’insieme

$$P(X):=\{U|U\subset X\}$$

$\mathcal{P}(X)$ è l’insieme di tutti sottoinsiemi di $X$.
Si dice insieme delle parti o insieme potenza.

$$P(X)\simeq \{0,1{\}}^X:=\{f:X\to \{0,1\}|f\text{ funzione}\}$$ undefined