Pages that link to "Definition:Class Mapping"
Jump to navigation
Jump to search
The following pages link to Definition:Class Mapping:
Displayed 50 items.
- Zermelo's Well-Ordering Theorem (← links)
- Transfinite Recursion Theorem/Theorem 1 (← links)
- Transfinite Recursion Theorem (← links)
- Well-Founded Recursion (← links)
- Image of Set under Mapping is Set (← links)
- Domain of Relation is Subclass of Union of Union of Relation/Proof (← links)
- Principle of Induction (← links)
- Equivalence of Definitions of Minimally Inductive Class (← links)
- Principle of General Induction (← links)
- Double Induction Principle (← links)
- Double Induction Principle/Lemma (← links)
- Sandwich Principle (← links)
- Sandwich Principle/Corollary 1 (← links)
- Sandwich Principle/Proof 1 (← links)
- Sandwich Principle/Proof 2 (← links)
- Equivalence of Definitions of Minimally Closed Class (← links)
- Principle of General Induction/Minimally Closed Class (← links)
- Double Induction Principle/Proof 1 (← links)
- Double Induction Principle/Proof 2 (← links)
- Collection of Sets Equivalent to Set Containing Empty Set is Proper Class (← links)
- Double Induction Principle/General (← links)
- General Double Induction Principle/Proof (← links)
- Principle of Superinduction (← links)
- Double Superinduction Principle (← links)
- Double Superinduction Principle/Lemma (← links)
- Equivalence of Definitions of Strictly Progressing Mappings (← links)
- Image of Class under Mapping is Image of Restriction of Mapping to Class (← links)
- Image of Set under Mapping is Set iff Restriction is Set (← links)
- Restriction of Mapping is Subclass of Cartesian Product (← links)
- Composite of Mapping with Inverse of Another is Identity implies Mappings are Equal (← links)
- Union of Nest of Mappings is Mapping (← links)
- Domain of Union of Nest of Mappings is Union of Class of Domains (← links)
- Image of Union of Nest of Mappings is Union of Class of Images (← links)
- Union of Nest of Injections is Injection (← links)
- Union of Nest of Mappings is Mapping/Proof (← links)
- Domain of Union of Nest of Mappings is Union of Class of Domains/Proof (← links)
- Image of Union of Nest of Mappings is Union of Class of Images/Proof (← links)
- Union of Nest of Injections is Injection/Proof (← links)
- Order Automorphism on Well-Ordered Class is Forward Moving (← links)
- Order Automorphism on Well-Ordered Class is Forward Moving/Linguistic Note (← links)
- Union of Nest of Ordinal Sequences which is Proper Class (← links)
- Characteristic of Extending Operation (← links)
- Properties of Mapping on Class of All Ordinals (← links)
- Transfinite Recursion Theorem/Formulation 2/Lemma (← links)
- Transfinite Recursion Theorem/Formulation 2 (← links)
- Transfinite Recursion Theorem/Formulation 1 (← links)
- Transfinite Recursion Theorem/Formulation 3 (← links)
- Transfinite Recursion Theorem/Formulation 4 (← links)
- Transfinite Recursion Theorem/Formulation 1/Proof 2 (← links)
- Transfinite Recursion Theorem/Formulation 5 (← links)