for I being non empty set
for G being Group
for H being Subgroup of G
for x being finite-support Function of I,G st rng x c= [#] H holds
x is finite-support Function of I,H