One of the Eilenberg-Steenrod Axioms. It states that, for every pair , there is a natural long exact sequence
(1)
where the Map is induced by the Inclusion Map and is induced by theInclusion Map . The Map is called the Boundary Map.See also Eilenberg-Steenrod Axioms