Poincaré duality
Here "N" can in fact be empty, so Poincaré duality appears as a special case of Lefschetz duality.