# 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.

## Also see

• Results about the Axiom of Swelledness can be found here.