theorem Th10: :: ABCMIZ_1:10

for A being set holds varcl (union A) = union { (varcl a) where a is Element of A : verum }