微分理想

在流形 上的一个微分理想 是 外代数 中，微分k-形式 在 上的一个 理想，它在外微分 下也是闭合的。也就是说，对于任意微分 -形式 和任意形式 ，则

1. ，并且

2.

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

一个光滑映射 被称为 的积分，如果 拉回映射 将 中所有形式拉回到 上都变为零，即，。