:: deftheorem Def11 defines canHom_Rat RING_3:def 11 :
for F being Field
for b₂ being Function of F_Rat,F holds
( b₂ = canHom_Rat F iff for x being Element of F_Rat holds b₂ . x = ((canHom_Int F) . (numerator x)) / ((canHom_Int F) . (denominator x)) );