:: deftheorem defines unity-preserving GROUP_1:def 13 :
for G, H being multMagma
for IT being Function of G,H holds
( IT is unity-preserving iff IT . (1_ G) = 1_ H );