In mathematics, more specifically algebraic topology, a pair is short-hand for an inclusion of topological spaces . Sometimes is assumed to be a cofibration. A morphism from to is given by two maps and such that .