for I, J being non empty set
for G being Group
for x being Function of I,G
for y being Function of J,G
for a being Function of I,J st a is onto & x = y * a holds
support y = a .: (support x)