theorem Th28: :: GROUP_21:29

for I being non empty set
for J being non-empty disjoint_valued ManySortedSet of I
for F being Group-Family of I,J
for x being Function holds support (x,(Union F)) = Union (supp_restr (x,F))