Definition:Basic Universe Axioms

Definition
Let $V$ be a basic universe.

Then $V$ is to satisfy the following axioms: