Poincaré–Lefschetz duality theorem