for I being non empty set
for M being ManySortedSet of I holds Top (EqRelLatt M) = [|M,M|]