Potenčná množina množiny X {\displaystyle X\!} , značená P ( X ) {\displaystyle {\mathcal {P}}(X)} alebo 2 X {\displaystyle 2^{X}\!} , je v matematike množina všetkých podmnožín množiny X {\displaystyle 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 P ( X ) {\displaystyle {\mathcal {P}}(X)\,\!} väčšiu mohutnosť, ako samotná množina X {\displaystyle X\,\!} .