Lineare Ungleichungen

vgl. lineare Optimierung (engl. linear programming)

Terme wie bei Gleichungen, aber Formeln:

• Ungleichung $\to$ Summe $\ge$ Summe
• Ungleichungssystem $\to$ Unleichung ( $\wedge$ Ungleichung)^*

Eigenschaften:

• Erfüllbarkeit ist entscheidbar (z. B. Simplex-Algorithmus)
• Lösungsmenge ist Durchschnitt von Halbräumen
• Lösungsmenge ist (leer oder) konvex