n. a part of the formalization of the notion of surface integration that is central to a modern treatment of Stokes' theorem in which one talks of integrating k-forms over k-surfaces. A typical 1-form is xdy - ydx. More precisely, a differential form of degree r in n variables is a mapping from a domain in n-space into the set of r-covectors.