フレアーホモロジー
Given three Lagrangian submanifolds "L"0, "L"1, and "L"2 of a symplectic manifold, there is a product structure on the Lagrangian Floer homology: