The Invariance of Domain Theorem is that if is a One-to-One continuous Map from , a compact subset of , then the interior of is mapped to the interior of .