Hola, pues no soy experto en ésto..Pero a mí me suena que a que sí..Un cardinal es el mínimo los ordinales que cumplen una relación de biyección con el conjunto. Y pues si
,
es un segmento inicial de
luego restringes la relación del conjunto total con el cardinal
y obtendrás un subconjunto de A que será biyectivo a
lo que no sé es si puedo asegurar que
sea el mínimo para poder llamarlo cardinal.
pd: respondo porque me hice la misma pregunta y creí que ésta era la respuesta..De seguro alguien más nos sacará a los dos de la duda
