$h$-cobordism

A cobordism $(N,M,M^{\prime })$ is called an $h$-cobordism if the inclusion maps $i:M\to N$ and $i^{\prime }:M^{\prime }\to N$ are homotopy equivalences.