for X being non empty set
for b being bag of X
for a being Element of X holds
( b \ a = b iff not a in support b )