Alueen invarianssilause

Alueen invarianssilause on metrisen avaruuden (missä ) topologiaan liittyvä tulos, joka sanoo, että jos avaruuden osajoukko on avoin ja kuvaus on jatkuva ja injektio, niin kuvajoukko on avaruuden avoin osajoukko ja kuvaus on homeomorfismi.