# Class is Transitive iff Union is Subset

A class $A$ is transitive if and only if:
$\displaystyle \bigcup A \subseteq A$