Go backward to Natural Number Laws Go up to Top Go forward to Logic Evaluator

Order Predicates

In every domain with a binary relation <= :

x < y : <=> x <= y /\  x != y;

x > y : <=> x not  <= y;

x >= y : <=> x not < y.

We often write a <= x < b to denote x <= a /\  x < b and similar for all other combinations of the order predicates.