ポアンカレ双対
The homology groups of a compact, oriented, connected, "n"-dimensional manifold "X" have a fundamental property called Poincaré duality: there is a perfect pairing