Se P(x) e Q(x) sono espressioni definite per ogni x reale e tali che P(x) ≥ 0 se e solo se x ≥ 2 e Q(x) ≥ 0 se e solo se x ≤ 1, allora la disequazione P(x) Q(x) > 0 è verificata se:
Se P(x) e Q(x) sono espressioni definite per ogni x reale e tali che P(x) ≥ 0 se e solo se x ≥ 2 e Q(x) ≥ 0 se e solo se x ≤ 1, allora la disequazione P(x) Q(x) > 0 è verificata se: