Nierówność oznaczona

Nierównością oznaczoną nazywamy nierówność która ma skończoną liczbę rozwiązań.