ordinal sucesor
Sea A un ordinal. El múltiple A ∪ {A}, que adjunta a los elementos de A el múltiple A mismo, es un ordinal (lo mostramos). Tiene exactamente un elemento más que A. Lo llamamos ordinal sucesor de A y se lo denota S(A).
Entre A y S(A) no hay ningún ordinal. S(A) es el sucesor de A.
Un ordinal B es un ordinal sucesor si es el sucesor de un ordinal A. Dicho de otro modo, si B = S(A).
La sucesión es una regla de recorrido, en el sentido implicado por el concepto de infinito.
