:: deftheorem Def2 defines LModMorphism_DOMAIN MODCAT_1:def 2 :
for R being Ring
for b₂ being non empty set holds
( b₂ is LModMorphism_DOMAIN of R iff for x being Element of b₂ holds x is strict LModMorphism of R );