Go backward to Natural Number Laws Go up to Top Go forward to Logic Evaluator |
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.