Does S(0) always equal 1?

S(0) contains one set (I0,...,Ik)of indexes and it is empty. Product over empty set of indexes is 1, because products have multiplicative property with respect to union
of disjoint index sets.