for I being non empty set
for G being Group
for a being finite-support Function of I,G st a = I --> (1_ G) holds
Product a = 1_ G