If is a symplectic -manifold, then a submanifold is called Lagrangian if it is isotropic, and of dimension . This is the maximal dimension an isotropic submanifold can have, by the non-degeneracy of .