Potenčná množina

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

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

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