Definition:Basic Universe

Definition
A basic universe $V$ is a universal class which satisfies the following axioms: