Ungleichung, zwei Terme, die durch eines der Zeichen < »kleiner als«, ≦ (beziehungsweise ≤) »kleiner oder gleich«, > »größer als«, ≧ (beziehungsweise ≥) »größer oder gleich« verknüpft sind. Kommt in wenigstens einem der Terme eine Variable vor, so handelt es sich bei der Ungleichung um eine Aussageform, anderenfalls um