Invariance of domain is a theorem in topology about homeomorphic subsets of Euclidean space. It states: If is an open subset of and is an injective continuous map, then is open in and is a homeomorphism between and. The theorem and its proof are... Wikipedia