theorem Th9: :: GROUP_19:9

for I being set
for G being Group
for H being Group-Family of I
for x being Function of I,G
for y being Element of (product H) st x = y & ( for i being object st i in I holds
H . i is Subgroup of G ) holds
support x = support (y,H)