:: deftheorem Def7 defines LModMorphism-like MOD_2:def 7 :
for R being Ring
for IT being LModMorphismStr over R holds
( IT is LModMorphism-like iff ( fun IT is additive & fun IT is homogeneous ) );