Poincaré duality
ここに、f∗ は上で定義した通りで、g∗ は有理係数をもつコホモロジー群上に誘導された写像であり、DX と DY は各々 X と Y のポアンカレ双対同型である。