Definition:Zermelo-Fraenkel Universe

Definition
A Zermelo-Fraenkel universe is a basic universe which also satisfies the axiom of infinity and the axiom of substitution: