Oración 1: un homeomorfismo es un caso especial de una equivalencia homotópica, en la que es igual al mapa identidad id"X" (no sólo homotópico a él), y es igual a id"Y"
Oración 2: si X e Y son homeomórficos, entonces son homotópicamente equivalentes, pero lo contrario no es cierto
Conector: por lo tanto,
Relación: reasoning
Género: articles