Potenčná množina

Hasseov diagram potenčnej množiny k množine {x,y,z} pre usporiadanie reláciou inklúzie.

Potenčná množina množiny $X \!$, značená $\mathcal{P}(X)$ alebo $2^X \!$, je v matematike množina všetkých podmnožín množiny $X \!$. V Zermelovom-Fraenkelovom axiomatickom systéme je existencia potenčnej množiny zaručená tzv. axiómou potenčnej množiny.

Podľa Cantorovej vety má potenčná množina $\mathcal{P}(X)\,\!$ väčšiu mohutnosť, ako samotná množina $X\,\!$.