Sea s un subconjunto completamente contenido en m y cuyo ordinal es S.