Axiom:Axiom of Replacement/Also presented as

Axiom of Replacement: Also presented as
The Axiom of Replacement may be presented as a single (somewhat unwieldy) expression:


 * $\forall x: \exists ! y : \map P {x, y} \implies \forall A: \exists B: \forall y: \paren {y \in B \iff \exists x \in A : \map P {x, y} }$