Sea "M" una variedad simpléctica, esto es, una variedad en la que existe una forma simpléctica: una forma diferencial de segundo orden formula_16 que es a la vez cerrada (formula_17) y no-degenerada, en el siguiente sentido: cuando se ve como un mapa formula_18, formula_16 es invertible para obtener formula_20.