Category:Definitions/Class Theory
Jump to navigation
Jump to search
This category contains definitions related to Class Theory.
Related results can be found in Category:Class Theory.
Class theory is an extension of set theory which allows the creation of collections that are not sets by classes.
Subcategories
This category has the following 30 subcategories, out of 30 total.
B
- Definitions/Basic Universe (2 P)
- Definitions/Bounded Classes (5 P)
C
- Definitions/Class Extensions (3 P)
- Definitions/Class Mappings (14 P)
- Definitions/Class Union (3 P)
D
- Definitions/Doubletons (6 P)
E
- Definitions/Elements (6 P)
F
- Definitions/Finite Character (7 P)
I
M
N
O
P
R
S
T
U
- Definitions/Uncountable (7 P)
- Uncountable Classes (empty)
W
Z
Pages in category "Definitions/Class Theory"
The following 132 pages are in this category, out of 132 total.
C
- Definition:Cardinality of Finite Class
- Definition:Cardinality of Finite Class/Definition 1
- Definition:Cardinality of Finite Class/Definition 2
- Definition:Cartesian Product (Class Theory)
- Definition:Cartesian Product/Class Theory
- Definition:Class (Class Theory)
- Definition:Class (Class Theory)/Proper Class
- Definition:Class (Class Theory)/Zermelo-Fraenkel
- Definition:Class Difference
- Definition:Class Equality
- Definition:Class Intersection
- Definition:Class of All Ordinals
- Definition:Class Relation
- Definition:Class Surjection
- Definition:Class Theory
- Definition:Class Union
- Definition:Class/Also defined as
- Definition:Closed under Mapping/Class Theory
- Definition:Collection
- Definition:Complete Class
- Definition:Countably Infinite
- Definition:Countably Infinite/Class
- Definition:Countably Infinite/Set
D
E
F
G
I
- Definition:Image (Relation Theory)/Mapping/Mapping/Class Theory
- Definition:Image (Relation Theory)/Relation/Relation/Class Theory
- Definition:Image of Class under Mapping
- Definition:Image of Class under Mapping/Warning
- Definition:Image of Mapping (Class Theory)
- Definition:Image of Relation (Class Theory)
- Definition:Immediate Predecessor Element (Class Theory)
- Definition:Immediate Predecessor Element/Class Theory
- Definition:Immediate Successor Element (Class Theory)
- Definition:Immediate Successor Element/Class Theory
- Definition:Inductive Class
- Definition:Inductive Class/General
- Definition:Infinite Class
- Definition:Initial Segment/Class Theory
- Definition:Injection (Class Theory)
- Definition:Injection/Class Theory
- Definition:Inverse Relation (Class Theory)
- Definition:Inverse Relation/Class Theory
M
O
P
Q
R
S
- Definition:Set-Like Relation
- Definition:Set/Class Theory
- Definition:Singleton Class
- Definition:Small Class
- Definition:Smallest Element (Class Theory)
- Definition:Smallest Element/Class Theory
- Definition:Smallest Set by Set Inclusion (Class Theory)
- Definition:Smallest Set by Set Inclusion/Class Theory
- Definition:Subclass
- Definition:Subcollection
- Definition:Subset (Class Theory)
- Definition:Subset Relation
- Definition:Subset/Class
- Definition:Successor Mapping
- Definition:Supercomplete Class
- Definition:Supertransitive Class
- Definition:Surjection (Class Theory)
- Definition:Surjection/Class Theory
- Definition:Swelled Class
- Definition:Symmetric Relation (Class Theory)
- Definition:Symmetric Relation/Class Theory