cual es el numero ordinal
Un conjunto S es un ordinal si y solo si S está totalmente ordenado con respecto a la inclusión de conjuntos (es decir, la relación subconjunto) y todo elemento de S es también un subconjunto de S.