:: deftheorem Def14 defines Morphs RINGCAT1:def 14 :
for G, H being Ring st G <= H holds
for b₃ being RingMorphism_DOMAIN of G,H holds
( b₃ = Morphs (G,H) iff for x being object holds
( x in b₃ iff x is Morphism of G,H ) );