:: deftheorem Def7 defines Morphs MODCAT_1:def 7 :
for R being Ring
for V being LeftMod_DOMAIN of R
for b₃ being LModMorphism_DOMAIN of R holds
( b₃ = Morphs V iff for x being object holds
( x in b₃ iff ex G, H being strict Element of V st x is strict Morphism of G,H ) );