Axiom:Axiom of Powers

Also see

 * Equivalence of Formulations of Axiom of Powers


 * Definition:Power Set