theorem Th39: :: MSSUBFAM:39

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