Poincaré duality
ポアンカレ双対により、このことを幾何学的に考える方法があることが判明している。可能であれば、n-次元部分多様体 A と B を a と b のポアンカレ双対として選択すると、formula_7("a", "b") は、A と B のとなる。この交叉数は A と B の次元により、うまく定義できる。 以上が用語交叉形式を説明している。