User:Dfeuer/Definition:Transitive Class

Definition
A class $A$ is transitive iff:


 * $\forall x: \forall y: x \in y \land y \in A \implies x \in A$

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