A differential ideal
on a manifold is an ideal in the exterior
algebra of differential *k*-forms
on
which is also closed under the exterior
derivative .
That is, for any differential -form and any form , then

1. , and

2.

For example, is a differential ideal on .

A smooth map is called an integral of if the pullback map of all forms in vanish on , i.e., .