for I being set
for M being ManySortedSet of I
for SF being MSSubsetFamily of M st SF = EmptyMS I holds
meet SF = M