Soit I un ensemble et soit J l’ensemble des parties finies de I. Pour tout A∈J, on pose ε(A)=(−1)Card(A). Soit G un groupe commutatif, noté additivement, et soient φ et ψ deux applications de F dans G. Montrer que les deux propriétés suivantes sont équivalentes :
(i)
φ(A)=B⊂A∑ψ(B)pour tout A∈F; (ii)
ψ(A)=B⊂A∑ε(A−B)φ(B)pour tout A∈F.