cuales son numeros ordinales
"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"."