theorem Th10: :: CLOSURE2:10

for I being set
for M being ManySortedSet of I
for E, T being Element of Bool M holds E (\/) T in Bool M