Basic Universe is Supercomplete

Theorem
Let $V$ be a basic universe.

Then $V$ is supercomplete.

Proof
By definition, a class $V$ is supercomplete $V$ is both transitive and swelled.

From the axiom of transitivity, $V$ is transitive.

From the axiom of swelledness, $V$ is swelled.

Hence the result.