Pages that link to "Definition:Subclass"
Jump to navigation
Jump to search
The following pages link to Definition:Subclass:
Displayed 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Subset Relation is Transitive (← links)
- Subset of Well-Ordered Set is Well-Ordered (← links)
- Smallest Element is Unique (← links)
- Greatest Element is Unique (← links)
- Transfinite Induction/Principle 1 (← links)
- Proper Well-Ordering determines Smallest Elements (← links)
- Class is Transitive iff Union is Subclass (← links)
- Non-Greatest Element of Well-Ordered Class has Immediate Successor (← links)
- Set Difference with Subset is Superset of Set Difference (← links)
- Relational Closure from Transitive Closure (← links)
- Minimal WRT Restriction (← links)
- Smallest Element WRT Restricted Ordering (← links)
- Restriction to Subset of Strict Total Ordering is Strict Total Ordering (← links)
- Restriction of Well-Founded Ordering is Well-Founded (← links)
- Restriction of Well-Ordering is Well-Ordering (← links)
- Class of All Ordinals is Well-Ordered by Subset Relation (← links)
- Transfinite Induction/Principle 1/Proof 2 (← links)
- Equivalence of Definitions of Weight of Topological Space (← links)
- Class is Subclass of Universal Class (← links)
- Not Every Class is a Set (← links)
- Not Every Class is a Set/Proof 1 (← links)
- Not Every Class is a Set/Proof 2 (← links)
- Class has Subclass which is not Element (← links)
- Basic Universe is not Set (← links)
- Empty Class is Subclass of All Classes (← links)
- Empty Class is Supercomplete (← links)
- Existence of Set is Equivalent to Existence of Empty Set (← links)
- Singleton Class can be Formed from Set (← links)
- Singleton Class of Empty Set is Supercomplete (← links)
- Doubleton Class can be Formed from Two Sets (← links)
- Equivalence of Formulations of Axiom of Pairing for Classes (← links)
- Intersection of Class Exists and is Unique (← links)
- Intersection of Non-Empty Class is Set (← links)
- Union of Subclass is Subclass of Union of Class (← links)
- Intersection of Class is Subset of Intersection of Subclass (← links)
- Union of Transitive Class is Subclass (← links)
- Union of Class is Subclass implies Class is Transitive (← links)
- Union of Transitive Class is Transitive (← links)
- Power Set Exists and is Unique (← links)
- Cartesian Product of Sets is Set (← links)
- Existence and Uniqueness of Domain of Relation (← links)
- Existence and Uniqueness of Image of Relation (← links)
- Domain of Relation is Subclass of Union of Union of Relation (← links)
- Image of Relation is Subclass of Union of Union of Relation (← links)
- Relation is Set implies Domain and Image are Sets (← links)
- Domain of Relation is Subclass of Union of Union of Relation/Proof (← links)
- Empty Class is Transitive (← links)
- Singleton of Empty Class is Transitive (← links)
- Union of Transitive Class is Transitive/Proof 2 (← links)
- Equivalence of Formulations of Axiom of Infinity for Zermelo Universe (← links)