Let P be a nonempty collection of subsets of {1,…,n} such that:(i) if S,S′∈P, then S∪S′∈P and S∩S′∈P, and
(ii) if S∈P and S=∅, then there is a subset T⊂S such that T∈P and T contains exactly one fewer element than S.Suppose that f:P→R is a function such that f(∅)=0 and f(S∪S′)=f(S)+f(S′)−f(S∩S′) for all S,S′∈P. Must there exist real numbers f1,…,fn such that f(S)=i∈S∑fi for every S∈P?