A mathematical statement comparing two values.
Symbols: (<), (>), (leq), and (geq).