Poincaré duality
X を向き付け可能な閉多様体で n 次元とすると、任意の k に対し k と n − k を入れ替えるポアンカレ双対性