Class is Transitive iff Union is Subset

From ProofWiki
Jump to: navigation, search

Theorem

A class $A$ is transitive if and only if:

$\displaystyle \bigcup A \subseteq A$


Proof