Class is Not Element of Itself

Theorem
Let $A$ be a class.

Then $A$ is not an element of itself:


 * $A \notin A$

Proof
$A \in A$ would create a relational loop for the class membership sign.

By No Membership Loops, this is a contradiction.