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 ,