 Differential ideal

In the theory of differential forms, a differential ideal "I" is an "algebraic ideal" in the ring of smooth differential forms on a smooth manifold, in other words a graded ideal in the sense of ring theory, that is further closed under exterior differentiation "d".In other words, for any form α in "I", the exterior derivative "d"α is also in "I".