:: deftheorem Def3 defines finite-support GROUP_19:def 3 :
for I being set
for G being Group
for a being Function of I,G holds
( a is finite-support iff support a is finite );