for f, F being Function
for A being set st f in product F holds
f | A in product (F | A)