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