One of the Eilenberg-Steenrod Axioms which states that, if is a Space with Subspaces and such that the Closure of is contained in the interior of , then the Inclusion Map induces an isomorphism .