ordinal number
An ordinal number is a well ordered set such that, for every ,
(where is the ordering relation on ).
It follows immediately from the definition that every ordinal is a transitive set.Also note that if then we have if and only if .
There is a theory of ordinal arithmetic which allows construction of various ordinals.For example, all the numbers , , , …have natural interpretations as ordinals,as does the set of natural numbers (including ),which in this context is often denoted by ,and is the first infinite
ordinal.