:: deftheorem defines -homomorphism FIELD_8:def 3 :
for R being Ring
for S1, S2 being RingExtension of R
for h being Function of S1,S2 holds
( h is R -homomorphism iff ( h is R -fixing & h is additive & h is multiplicative & h is unity-preserving ) );