Formalmente en una variedad de riemanniana o pseudoriemanniana de dimensión "n" debemos definir el dual de Hodge de una p-forma formula_3 como la ("n-p")-forma formula_4 tal que: