Eine stetige Abbildung

${\displaystyle \varphi \colon X\longrightarrow Y}$

zwischen topologischen Räumen ${\displaystyle {}X}$ und ${\displaystyle {}Y}$ heißt Homöomorphismus, wenn ${\displaystyle {}\varphi }$ bijektiv ist und wenn die Umkehrabbildung ebenfalls stetig ist.