# Category:Class of All Ordinals

Jump to navigation
Jump to search

This category contains results about **Class of All Ordinals**.

The **class of all ordinals** is defined, obviously enough, as the class of all ordinals:

- $\On = \leftset {x: x}$ is an ordinal $\rightset {}$

## Subcategories

This category has the following 4 subcategories, out of 4 total.

## Pages in category "Class of All Ordinals"

The following 20 pages are in this category, out of 20 total.

### C

- Class of All Cardinals is Subclass of Class of All Ordinals
- Class of All Ordinals is G-Tower
- Class of All Ordinals is Minimally Superinductive over Successor Mapping
- Class of All Ordinals is Only Proper Class of Ordinals
- Class of All Ordinals is Ordinal
- Class of All Ordinals is Proper Class
- Class of All Ordinals is Transitive
- Class of All Ordinals is Well-Ordered by Subset Relation
- Condition for Injective Mapping on Ordinals