一个辛形式（闭的非退化2-形式）：formula_17，这就是说formula_18且当其视一个映射formula_19，formula_17有逆映射formula_21。 这里formula_22是流形"M"上内蕴的外导数运算，而formula_23是内乘或缩并运算，在1-形式formula_24这等价于formula_25。由外微分的公理，我们由：这里formula_27表示光滑向量场的李括号，其性质本质上定义了"M"上流形结构。 如果"v"使得formula_28，我们称之为formula