Alueen invarianssilause

Alueen invarianssilause on metrisen avaruuden ${ℝ}^n$ (missä $n\ge 1$) topologiaan liittyvä tulos, joka sanoo, että jos avaruuden ${ℝ}^n$ osajoukko $U$ on avoin ja kuvaus $f:U\to {ℝ}^n$ on jatkuva ja injektio, niin kuvajoukko $f(U)$ on avaruuden ${ℝ}^n$ avoin osajoukko ja kuvaus $f:U\to f(U)$ on homeomorfismi.