for I being set
for G being Group
for F being Group-Family of I
for a being object st a in sum F & ( for i being object st i in I holds
F . i is Subgroup of G ) holds
a is finite-support Function of I,G