Potenčná množina

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
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\,\!.