for f, h being Function
for x being set st x c= h & h in sproduct f holds
x in sproduct f