#19#17 Ah vale vale, ahora lo he entendido. Pensaba que siempre teníamos el mismo R, ahora comprendo las explicaciones.
La verdad que no se me hace tan raro entonces. Al hacer un modelo M2 que contenga a M1, lo esperable es que M2 posea menos propiedades que M1. Y por tanto se pueden hacer cosas menos "intuitivas", como por ejemplo aplicar biyecciones entre conjuntos donde antes no podíamos. Supongo que los tiros irán por ahí, ¿no?
La verdad que no se me hace tan raro entonces. Al hacer un modelo M2 que contenga a M1, lo esperable es que M2 posea menos propiedades que M1. Y por tanto se pueden hacer cosas menos "intuitivas", como por ejemplo aplicar biyecciones entre conjuntos donde antes no podíamos. Supongo que los tiros irán por ahí, ¿no?