zwei durch eines der Zeichen < (,Kleinerzeichen‘), ≤ (,Kleinergleichzeichen‘), ≥ (,Größergleichzeichen‘) oder > (,Größerzeichen‘) verbundene Terme, also z. B. T₁ < T₂ für Terme T₁ und T₂, gesprochen „T₁ kleiner (als) T₂“.

Wie bei einer Gleichung nennt man T₁ die linke und T₂ die rechte Seite der Ungleichung. Auch die Begriffe Variable, Definitionsbereich, Lösung, Lösungsmenge, lösbar bzw. erfüllbar, unlösbar bzw. unerfüllbar, allgemeingültig, Formel bzw. Identität und Äquivalenz von Ungleichungen sind definiert wie für Gleichungen. Das Bestimmen der Lösungsmenge einer Ungleichung geschieht durch Lösen der Ungleichung, wobei die Ungleichung i. d. R. in eine äquivalente, einfachere‘ Ungleichung umgeformt wird. Wie bei einer Gleichung hängen auch bei einer Ungleichung die Lösbarkeit und die Lösungsmenge von der Wahl des Definitionsbereichs ab.