Puesto que todo ordinal contiene únicamente ordinales, se cumple que todo elemento de la colección de todos los ordinales también es su subconjunto.