정의
위상공간 [math]\displaystyle{ X,Y }[/math]가 주어졌다고 하자. 이때 일대일대응 [math]\displaystyle{ f:X\to Y }[/math]가 존재해 [math]\displaystyle{ f,f^{-1} }[/math]이 연속이면 [math]\displaystyle{ X,Y }[/math]는 위상적으로 동형(topologically equivalent, homeomorphic)이라고 하고, f는 위상동형사상(homeomorphism)이라고 한다. homomorphism과 헷갈리지 말자.