for I being set
for f, g being ManySortedSet of I st f c= g holds
f # c= g #