Eine Funktion f : IR ---> IR heißt Polynomfunktion, wenn es ein n aus IN und a0 , ... an aus IR gibt mit
f(x) = Summe i=0 bis n ai*xi für alle x aus IR.
Und dann beweist man:
Die Menge aller Polynomfunktionen bildet zusammen mit der üblichen
Addition und Multiplikation von Funktionen einen Ring ( mit Einselement) .