theorem Th14: :: TOPS_5:14

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