Μια πολυωνυμική συνάρτηση $f: \mathbb{R} \to \mathbb{R}$ διατηρεί πρόσημο σε κάθε ένα από τα διαστήματα στα οποία οι διαδοχικές ρίζες της $f$ χωρίζουν το πεδίο ορισμού της.