 Graded exterior one-forms locally read formula_57 so that the duality (interior) product
between formula_47 and formula_56 takes the form

formula_60.Provided with the graded exterior product

formula_61,

graded one-forms generate the graded exterior algebra formula_62 of graded exterior forms on a graded manifold.They obey the relation

formula_63.