The map H_n(X, A)->H_(n - 1)(A) appearing in the long exact sequence of a pair axiom.