:: deftheorem defcanhom defines canHom FIELD_11:def 10 :
for n being Ordinal
for R being non degenerated Ring
for b₃ being Function of R,(Polynom-Ring (n,R)) holds
( b₃ = canHom (n,R) iff for a being Element of R holds b₃ . a = a | (n,R) );