for I, J being non empty set
for a being Function of I,J
for F being Group-Family of J
for x being Function holds a .: (support ((x * a),(F * a))) c= support (x,F)