Poincaré duality
代数トポロジーでは、カップ積(cup product)のポアンカレ双対として、交点数が現れる。特に、2つの多様体 X と Y が多様体 M で横断的に交わっていると、交点のホモロジー類は、X と Y のポアンカレ双対のカップ積 formula_34 のポアンカレ双対である。