Poincaré duality
A closed oriented manifold "X" of dimension "n" has a fundamental class ["X"] in "H""n"("X","R"). The Poincaré duality isomorphism