Zermelo-Fraenkel axioms/Definition

One of several possible formulations of axiomatic set theory.