Syntax, Semantik

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

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

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