:: deftheorem defhom defines -homomorphic RING_2:def 4 :
for R, S being Ring holds
( S is R -homomorphic iff ex f being Function of R,S st f is RingHomomorphism );