for f, g being Function
for A being set st g in sproduct f holds
g | A in sproduct f by Th64, RELAT_1:59;