:: deftheorem Def6 defines multiplicative GROUP_6:def 6 :
for G, H being non empty multMagma
for f being Function of G,H holds
( f is multiplicative iff for a, b being Element of G holds f . (a * b) = (f . a) * (f . b) );