for f, g being Function st dom f = dom g & ( for x being object st x in dom f holds
f . x c= g . x ) holds
product f c= product g