In algebraic topology, the homotopy excision theorem offers a substitute for the absence of excision in homotopy theory. More precisely, let
be an excisive triad with
nonempty and suppose a pair
is (
)-connected,
, and a pair
is (
)-connected,
. Then, for the inclusion
,

is bijective for
and is surjective for
.