Definition:Basic Universe

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