Class is Transitive iff Union is Subclass

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