Class is Transitive iff Union is Subset

Theorem
A class $A$ is transitive :
 * $\ds \bigcup A \subseteq A$