Notes

Transfinite sequence
If α is a limit ordinal and X is a set, an α-indexed sequence of elements of X is a function from α to X. This concept, a transfinite sequence or ordinal-indexed sequence, is a generalization of the concept of a sequence. An ordinary sequence corresponds to the case α = ω.

Transfinite induction
Main article: Transfinite induction
Transfinite induction holds in any well-ordered set, but it is so important in relation to ordinals that it is worth restating here.

Any property that passes from the set of ordinals smaller than a given ordinal α to α itself, is true of all ordinals.
That is, if P(α) is true whenever P(β) is true for all β < α, then P(α) is true for all α. Or, more practically: in order to prove a property P for all ordinals α, one can assume that it is already known for all smaller β < α.

Transfinite recursion
Transfinite induction can be used not only to prove things, but also to define them. Such a definition is normally said to be by transfinite recursion – the proof that the result is well-defined uses transfinite induction. Let F denote a (class) function F to be defined on the ordinals. The idea now is that, in defining F(α) for an unspecified ordinal α, one may assume that F(β) is already defined for all β < α and thus give a formula for F(α) in terms of these F(β). It then follows by transfinite induction that there is one and only one function satisfying the recursion formula up to and including α.

Here is an example of definition by transfinite recursion on the ordinals (more will be given later): define function F by letting F(α) be the smallest ordinal not in the set {F(β) | β < α}, that is, the set consisting of all F(β) for β < α. This definition assumes the F(β) known in the very process of defining F; this apparent vicious circle is exactly what definition by transfinite recursion permits. In fact, F(0) makes sense since there is no ordinal β < 0, and the set {F(β) | β < 0} is empty. So F(0) is equal to 0 (the smallest ordinal of all). Now that F(0) is known, the definition applied to F(1) makes sense (it is the smallest ordinal not in the singleton set {F(0)} = {0}), and so on (the and so on is exactly transfinite induction).

Successor and limit ordinals
Any nonzero ordinal has the minimum element, zero. It may or may not have a maximum element. For example, 42 has maximum 41 and ω+6 has maximum ω+5. On the other hand, ω does not have a maximum since there is no largest natural number. If an ordinal has a maximum α, then it is the next ordinal after α, and it is called a successor ordinal, namely the successor of α, written α+1. In the von Neumann definition of ordinals, the successor of α is {displaystyle alpha cup {alpha }}alpha cup {alpha } since its elements are those of α and α itself.[3]

https://en.wikipedia.org/wiki/Ordinal_number

Arithmetic of ordinals
Main article: Ordinal arithmetic
There are three usual operations on ordinals: addition, multiplication, and (ordinal) exponentiation. Each can be defined in essentially two different ways: either by constructing an explicit well-ordered set that represents the operation or by using transfinite recursion.

Cardinality
to perform arithmetic on them. There are two approaches to cardinality – one which compares sets directly using bijections and injections, and another which uses cardinal numbers.[1] The cardinality of a set is also called its size, when no confusion with other notions of size[2] is possible.

The cardinality of a set {displaystyle A}A is usually denoted {displaystyle |A|}|A|, with a vertical bar on each side; this is the same notation as absolute value and the meaning depends on context. Alternatively, the cardinality of a set {displaystyle A}A may be denoted by {displaystyle n(A)}n(A), {displaystyle A}A, {displaystyle operatorname {card} (A)}{displaystyle operatorname {card} (A)}, or {displaystyle #A}{displaystyle #A}.