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