Power Set Axiom

$\forall x\exists y\forall z(z\subseteq x\to z\in y)$

• Every set has a power set of all its subsets.