定義1.1.transfiniterecursionにより,各順序数aに対してR(a)を次のように定義する.
定義1.1.transfiniterecursionにより,