(aquí, la homología y la cohomología se toman con coeficientes en el anillo de los números enteros, pero el isomorfismo se sostiene para cualquier anillo de coeficientes.) Específicamente, se mapea un elemento de "H"("M") a su producto cap con una clase fundamental de "M", que existirá para "M" orientado.