Axiom:Axiom of Powers

Also see

 * Definition:Power Set