The form envelope of a differential p-form 
in the exterior
algebra 
is the smallest subspace 
such that 
. For 
, equivalently, 
is spanned by the covectors
obtained by the tensor contraction of 
with an element
of 
.
For example, the envelope of 
in 
is 
, and the envelope of 
in 
is all of 
.
