theorem :: MBOOLEAN:29

for I being set
for A being ManySortedSet of I holds union (bool A) = A