User:Dfeuer/Definition:Swelled Class

Definition

Let $A$ be a class.

Then $A$ is swelled iff:

$\forall x: \forall y: (x \in A \land y \subseteq x \implies y \in A)$

That is, iff each subclass of each element of $A$ is an element of $A$.