O declaraţie logică care să descrie relaţia (cum ar fi mai mare sau egal) de expresii aritmetice cu două sau elemente de date.