for X being non empty set
for Y being set
for Z being Subset of Y holds product (X --> Z) c= product (X --> Y)