for X being non empty set
for b being bag of X holds
( b is zero iff support b = {} )