Pages that link to "Definition:Class (Class Theory)"
Jump to navigation
Jump to search
The following pages link to Definition:Class (Class Theory):
Displayed 50 items.
- Subset Relation is Transitive (← links)
- Set Difference with Set Difference (← links)
- Set Equivalence behaves like Equivalence Relation (← links)
- Subset of Well-Ordered Set is Well-Ordered (← links)
- Subset Relation is Ordering (← links)
- Overflow Theorem (← links)
- Characterization of Class Membership (← links)
- Element of Universe (← links)
- Unordered Pairs Exist (← links)
- Epsilon Relation is Strictly Well-Founded (← links)
- No Membership Loops (← links)
- Class of All Ordinals is Ordinal (← links)
- Transfinite Induction/Principle 1 (← links)
- Transfinite Induction (← links)
- Transfinite Recursion Theorem/Theorem 1 (← links)
- Proper Well-Ordering determines Smallest Elements (← links)
- Well-Ordered Induction (← links)
- Union of Set of Ordinals is Ordinal (← links)
- Union of Ordinals is Least Upper Bound (← links)
- Equivalence of Definitions of Minimally Inductive Set (← links)
- Transfinite Recursion Theorem (← links)
- Transfinite Induction/Principle 2 (← links)
- Transfinite Induction/Schema 2 (← links)
- Transfinite Recursion Theorem/Theorem 2 (← links)
- Maximal Injective Mapping from Ordinals to a Set (← links)
- Order Isomorphism between Ordinals and Proper Class/Lemma (← links)
- Order Isomorphism between Ordinals and Proper Class (← links)
- Order Isomorphism between Ordinals and Proper Class/Corollary (← links)
- Lexicographic Order forms Well-Ordering on Ordered Pairs of Ordinals (← links)
- Canonical Order Well-Orders Ordered Pairs of Ordinals (← links)
- Class is Transitive iff Union is Subclass (← links)
- Subset of Empty Set (← links)
- Indexed Union Equality (← links)
- Indexed Union Subset (← links)
- Limit Ordinals Preserved Under Ordinal Addition (← links)
- Epsilon Induction (← links)
- Class Equality is Reflexive (← links)
- Class Equality is Symmetric (← links)
- Class Equality is Transitive (← links)
- Substitutivity of Class Equality (← links)
- Class is Extensional (← links)
- Class Member of Class Builder (← links)
- Set Difference is Set (← links)
- Nonempty Class has Members (← links)
- Class is Not Element of Itself (← links)
- Cartesian Product is Small iff Inverse is Small (← links)
- Cartesian Product with Proper Class is Proper Class (← links)
- Order Isomorphism Preserves Strictly Minimal Elements (← links)
- Order Isomorphism Preserves Initial Segments (← links)
- Order Isomorphism on Strictly Well-Founded Relation preserves Strictly Well-Founded Structure (← links)