Аксиома множества-степени

Аксиома множества-степени
Аксиома множества-степени (или аксиома булеана) (англ. axiom of power set, нем. Axiom der Potenzmenge) — следующее высказывание теории множеств:

для любого множества существует множество-степень множества $$a$$: $$ \Upsilon \ \stackrel{\mathrm{def}}{=} \ \forall a \ \exists b \quad b = \mathrm{PowerSet}(a) $$