:: deftheorem Def10 defines Homomorphism LMOD_XX1:def 10 :
for R being Ring
for M, N being LeftMod of R
for b₄ being Function of M,N holds
( b₄ is Homomorphism of R,M,N iff ( b₄ is additive & b₄ is homogeneous ) );