Definition:Non-Empty Set/Class Theory

Theorem
Let $A$ be a class.

Then $A$ is non-empty $A$ has at least one element.

Also see

 * Definition:Non-Empty Set
 * Definition:Empty Set


 * Definition:Empty Class (Class Theory)