:: deftheorem defines zero-preserving GROUP_1A:def 11 :
for G, H being addMagma
for IT being Function of G,H holds
( IT is zero-preserving iff IT . (0_ G) = 0_ H );