# Class is Transitive iff Union is Subset

Jump to: navigation, search

## Theorem

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

$\displaystyle \bigcup A \subseteq A$