Se define para cada ordinal, según sea 0, un ordinal sucesor o un ordinal límite: