:: deftheorem Def23 defines Morphs GRCAT_1:def 25 :
for V being Group_DOMAIN
for b₂ being GroupMorphism_DOMAIN 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 ) );