theorem Th22: :: CLOSURE2:22

for I being set
for A, B, M being ManySortedSet of I
for SF being SubsetFamily of M st SF = {A,B} holds
union |:SF:| = A (\/) B