Class is Transitive iff Union is Subset

From ProofWiki
Jump to navigation Jump to search

Theorem

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

$\displaystyle \bigcup A \subseteq A$


Proof