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\,\!$.