# Axiom:Axiom of Transitivity

## Axiom

Let $V$ be a basic universe.

$V$ is a transitive class.

That is, every set $S$ which is an element of $V$ is a subclass of $V$.

Briefly:

Every set is a class.