 Exterior derivative

The exterior derivative is the unique graded derivation $d:{\Omega }^p(M)\to {\Omega }^{p+1}(M)$ that agrees with the differential on functions and satisfies $d^2=0$.