State/Axiom of replacement

This is one of the Zermelo-Fraenkel axioms of set theory

=Metadata=