A logical statement that describes the relationship (such as greater than or equal to) of two arithmetic expressions or data items.