Axiom of power set
= Axiom of power set
{c}
{wiki}
For every set $x$ there is a set $\mathcal P(x)$ whose members are exactly the subsets of $x$.
= Axiom of power set
{c}
{wiki}
For every set $x$ there is a set $\mathcal P(x)$ whose members are exactly the subsets of $x$.