:: deftheorem Def12 defines Morphism GRCAT_1:def 14 :
for G, H being AddGroup
for b₃ being GroupMorphism holds
( b₃ is Morphism of G,H iff ( dom b₃ = G & cod b₃ = H ) );