Lagrangian submanifold
If is a symplectic -manifold![]()
(http://planetmath.org/SymplecticManifold), then a submanifold
![]()
is called if it is isotropic, and of dimension . This is the maximal dimension an isotropic submanifold can have, by the non-degeneracy of .