Pages that link to "Definition:Basic Universe"
Jump to navigation
Jump to search
The following pages link to Definition:Basic Universe:
Displayed 50 items.
- Subset Relation is Transitive (← links)
- Subset of Well-Ordered Set is Well-Ordered (← links)
- Intersection of Empty Set (← links)
- Smallest Element is Unique (← links)
- Greatest Element is Unique (← links)
- Basic Universe is Supercomplete (← links)
- Basic Universe is not Set (← links)
- Basic Universe is not Empty (← links)
- Existence of Set is Equivalent to Existence of Empty Set (← links)
- Singleton Class can be Formed from Set (← links)
- Doubleton Class can be Formed from Two Sets (← links)
- Doubleton Class of Equal Sets is Singleton Class (← links)
- Basic Universe has Infinite Number of Elements (← 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)
- Intersection of Empty Set/Class Theory (← links)
- Intersection of Class is Subset of Intersection of Subclass (← 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)
- Union of Union of Relation is Union of Domain with Image (← 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)
- Universal Class less Set is not Transitive (← links)
- Basic Universe is Inductive (← links)
- Equivalence of Formulations of Axiom of Infinity for Zermelo Universe (← links)
- Bounded Class is Set (← links)
- Finite Class is Set (← links)
- Intersection of Non-Empty Class is Set/Proof 1 (← links)
- Binary Relation is Subclass of Product of Domain with Range (← links)
- Successor Mapping is Slowly Progressing (← links)
- Intersection of Non-Empty Class is Set/Corollary (← links)
- Class Union Exists and is Unique (← links)
- Successor Mapping is Progressing (← links)
- Diagonal Relation is Reflexive (Class Theory) (← links)
- Smallest Element is Unique/Class Theory (← links)
- Greatest Element is Unique/Class Theory (← links)
- Subset Relation is Transitive/Proof 2 (← links)
- Subclass of Well-Ordered Class is Well-Ordered (← links)
- Subset of Well-Ordered Set is Well-Ordered/Proof 3 (← links)
- Empty Set is Well-Ordered (← links)
- Empty Set is Well-Ordered/Proof 2 (← links)
- Empty Class is Well-Ordered (← links)
- Countable Set is Well-Orderable (← 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)