theorem Th14: :: GRSOLV_1:14

for G, H being strict Group
for h being Homomorphism of G,H
for A, B being Subset of G holds (h .: A) * (h .: B) = h .: (A * B)