for I being set
for x, X being ManySortedSet of I st not I is empty & X (\) {x} = X holds
not x in X