:: deftheorem Def6 defines ProductMap GROUP_19:def 6 :
for I being non empty set
for F, G being Group-Family of I
for h being non empty Function st I = dom h & ( for i being Element of I holds h . i is Homomorphism of (F . i),(G . i) ) holds
ProductMap (F,G,h) = ProductMap ((Carrier F),(Carrier G),h);