for I being set
for A being ManySortedSet of I holds (id (Union A)) -MSF (I,A) = id A