for I being set
for A being ManySortedSet of I holds MSFixPoints (id A) = A