for I being set
for A, B, M being ManySortedSet of I st A c= M & B c= M holds
{A,B} is SubsetFamily of M