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