Soit $X$ un espace analytique. Il existe un unique morphisme $p$-linéaire symétrique

$$(u^{1},\dots,u^{p})\mapsto\mathop{\mathrm{d}^{\prime}\mathrm{d}^{\prime\prime}}u^{1}\wedge\dots\wedge\mathop{\mathrm{d}^{\prime}\mathrm{d}^{\prime\prime}}u^{p}$$

défini sur le faisceau des fonctions continues localement approchables à valeurs dans le faisceau des mesures sur $\operatorname{Int}(X)$, et qui prolonge l’application précédemment définie lorsque $u^{1},\dots,u^{p}$ sont localement psh-approchables.