 The operations of addition, multiplication, and exponentiation can be defined on all ordinals by using case distinctions and transfinite recursion (on \(\alpha\)). The following states the definitions just to convey the flavor: 