:: deftheorem Def21 defines canHom QUOFIELD:def 25 :
for I being non degenerated commutative domRing-like Ring
for b₂ being Function of I,(the_Field_of_Quotients I) holds
( b₂ = canHom I iff for x being Element of I holds b₂ . x = QClass. (quotient (x,(1. I))) );