Category:Class is Transitive iff Union is Subclass

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Class is Transitive iff Union is Subclass:


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

$\bigcup A \subseteq A$