微分理想

在流形 上的一個微分理想 是 外代數 中，微分k-形式 在 上的一個 理想，它在外微分 下也是閉合的。也就是說，對於任意微分 -形式 和任意形式 ，則

1. ，並且

2.

例如， 是 上的一個微分理想。

一個光滑對映 被稱為 的積分，如果 拉回對映 將 中所有形式拉回到 上都變為零，即，。