theorem Th19: :: GROUP_19:19

for I being non empty set
for G being Group
for i being Element of I
for g being Element of G
for a being Function of I,G st a = (I --> (1_ G)) +* (i,g) holds
support a c= {i}