n (topology) The fact that, under certain hypotheses, the homology of a space relative to a subspace is unchanged by the identification of a subspace of the latter to a point.