for X being set
for b1, b2 being natural-valued ManySortedSet of X holds support (b1 -' b2) c= support b1