Kategorie:Theorie der reellen Polynomfunktionen/Definitionen