Definition:Zermelo Universe

Definition
A Zermelo universe is a basic universe which also satisfies the axiom of infinity: