Category:Definitions/Transitive Classes
Jump to navigation
Jump to search
This category contains definitions related to Transitive Classes.
Related results can be found in Category:Transitive Classes.
Let $A$ denote a class, which can be either a set or a proper class.
Then $A$ is transitive if and only if every element of $A$ is also a subclass of $A$.
That is, $A$ is transitive if and only if:
- $x \in A \implies x \subseteq A$
or:
- $\forall x: \forall y: \paren {x \in y \land y \in A \implies x \in A}$
Pages in category "Definitions/Transitive Classes"
The following 3 pages are in this category, out of 3 total.