Axiom of Power Set (APw) $$\forall x\exists y\forall z(z \in y \longleftrightarrow \forall u(u \in z \longrightarrow u \in x))$$