Poincaré duality
Poincaré duality is extended to the relative case .