This fact is related to: excisive triads
Statement
Let
be an excisive triad, viz
is a topological space and
,
are subspaces such that the union of the interiors of
s is
). Then if
is
-connected and
is
-connected, the inclusion map
is an isomorphism for
and a surjection for
.