不等式
x + 1 > 0 (ただし、x は実数に値をとる変数)
同じ文字は同時に同じ値をもつという約束に基づいて、多変数不等式や、同時に成り立つ不等式の組、すなわち連立不等式、不等式系と呼ばれるものを考えることができること、あるいは与えられた不等式系を、同値性を保ったままでなるべく簡単な不等式系に変換することを不等式系を解くということなどは、やはり方程式系と同様である。
方程式が離散的な値を与える条件式となることが多いことに比して、不等式は通常、値の範囲を評価する条件式として働く。 このような違いが効果的に現れた例として素数分布に関するブルンの篩を挙げる事ができるだろう。これは、素数の検出法として古典的に知られていたエラトステネスの篩のルジャンドルによる定式化(これは、ある整数以下の素数の "個数" を計算するためのもので、メビウス関数を用いた等式として書くことができる)を、さらに不等式で範囲の評価に書き直すこと(およびその精密化)により得られたもので、素数分布の評価に絶大な効果をもたらした。
様々な場面で不等式を巧妙に用いて様々な論証を行う解析学は、方程式論をはじめとする等式の学問としての代数学との対比として、しばしば「不等式の学問」といわれる。