for X being set
for b1, b2 being bag of X holds (b2 + b1) -' b1 = b2