Let be a homeomorphism. Since The image map of a bijection is a bijection, is a bijection with inverse We can define since the preïmage of every open set must be open, which is clearly injective since it is restricted . Thus Using a similar argument, we can define an injection . Thus . Therefore .