First of all, a pair is simply a space and a subspace . We then say maps a pair to a pair if maps to and .
If we have such a map then it will not only descend to a map on but and as well.