One of the Zermelo-Fraenkel axioms which asserts the existence for any set a of a set x such that, for any y of a, if there exists a z satisfying A(y, z), then such z exists in x, exists x for all y element a(exists z A(y, z)⇒exists z element x A(y, z)). This axiom was introduced by Fraenkel.