Syntax, Semantik

• lin. (Un-)Gleichungssystem → (Constraint ∧)^* Constraint
• Constraint → Ausdruck Relsym Ausdruck
• Relsym →  =  | ≤  | ≥
• Ausdruck → (Zahl ⋅ Unbekannte +)^* Zahl

Beispiel: 4y≤x∧4x≤y - 3∧x + y≥1∧x - y≥2

Semantik: Wertebereich für Unbekannte (und Ausdrücke) ist $\mathbb {Q}$ oder $\mathbb {Z}$