Según la dualidad de Poincaré, el grupo de homología de "Z" es doble del grupo de cohomología que llamaremos ["Z"], y el cap product puede ser calculado tomando el cup product de ["Z"] y formula_6 y capping con la clase fundamental de "X".