Union of Class is Subclass implies Class is Transitive
(Redirected from Class is Transitive iff Union is Subclass/Sufficient Condition)
Jump to navigation
Jump to search
Theorem
Let $A$ be a class.
Let $\bigcup A$ denote the union of $A$.
Let:
- $\bigcup A \subseteq A$
Then $A$ is transitive.
Proof
Let $\bigcup A \subseteq A$.
Let $x \in \bigcup A$.
Then by definition:
- $\exists y \in A: x \in y$
By definition of subclass:
- $x \in A$
Thus we have that:
- $x \in y \land y \in A \implies x \in A$
It follows by definition that $A$ is a transitive class.
$\blacksquare$
Sources
- 2010: Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (revised ed.) ... (previous) ... (next): Chapter $2$: Some Basics of Class-Set Theory: $\S 5$ The union axiom: Exercise $5.3. \ \text {(b)}$