for I being non empty set
for G being Group
for a being finite-support Function of I,G
for i being Element of I
for g being Element of G holds a +* (i,g) is finite-support Function of I,G