One of the Eilenberg-Steenrod axioms which states that, if X is a space with subspaces A and U such that the set closure of A is contained in the interior of U, then the inclusion map (X U, A U)->(X, A) induces an isomorphism H_n(X U, A U)->H_n(X, A).