topological pair

Definition

A pair is a topological space and a subspace , .

It is shorthand for an inclusion of topological spaces

This is useful for relative homology.