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