theorem Th15: :: YELLOW15:18

for X being set
for Y being finite Subset-Family of X holds union (Components Y) = X