ラグランジュ部分多様体
formula_1をシンプレクティック多様体であるとする。
formula_2の部分多様体formula_3が
ラグランジュ部分多様体であるとは、
(1) formula_4
(2) formula_5
を満たすことをいう。