:: deftheorem Def20 defines Morphs GRCAT_1:def 22 :
for G, H being AddGroup
for b₃ being GroupMorphism_DOMAIN of G,H holds
( b₃ = Morphs (G,H) iff for x being object holds
( x in b₃ iff x is strict Morphism of G,H ) );