theorem Th19: :: COHSP_1:19

for X being set holds union (Fin X) = X