Eine Ungleichung ist ein Gegenstand der Mathematik, mit dem Größenvergleiche formuliert und untersucht werden können. Jede Ungleichung besteht aus zwei Termen, die durch eines der Vergleichszeichen (Kleinerzeichen), (Kleinergleichzeichen), (Größergleichzeichen) oder (Größerzeichen) verbunden sind. Oft spricht man anstatt von einer Ungleichung auch von einer Abschätzung, wenn man mit Hilfe einer Ungleichung das Wachstum eines komplexen Terms durch einen einfacheren Term kontrolliert.
Sind und zwei Terme, dann ist eine Ungleichung.[1] Man spricht „ kleiner (als) “. Wie bei einer Gleichung heißt die linke Seite und die rechte Seite der Ungleichung.[2]
Die in den beiden Termen auftretenden Werte sind meist reelle Zahlen. Die durch das Vergleichszeichen angesprochene Ordnungsrelation bezieht sich dann auf die natürliche Anordnung der reellen Zahlen.