for x being object
for f being Function st x in dom f & product f <> {} holds
pi ((product f),x) = f . x