for I being non empty set
for M being ManySortedSet of I holds EqRelLatt M is complete