Axiom:Axiom of Powers

Axiom
For every set, there exists a set of sets that contains amongst its elements all the subsets of the given set.


 * $\forall x: \exists y: \paren {\forall z: \paren {z \in y \iff \paren {w \in z \implies w \in x} } }$

Also known as
Otherwise known as the Axiom of the Power Set.

Also see

 * Definition:Power Set