hay un homeomorfismo f de X en sí mismo tal que f(x) = y.