theorem Th2: :: GROUP_19:2

for I being set
for F being Function st I = dom F & ( for i being object st i in I holds
F . i is Group ) holds
F is Group-Family of I