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