for I being set
for A, M being ManySortedSet of I
for SF being MSSubsetFamily of M holds SF (\) A is MSSubsetFamily of M