Axiom:Axiom of Swelledness

Axiom
Let $V$ be a basic universe.
 * $V$ is a swelled class.

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

Briefly:
 * Every subclass of a set is a set.