for X being set
for p, q being bag of X st support p = {} & support q = {} holds
p = q