order relation

An order relation is the rule that lets you line numbers up from smallest to largest. Given any two real numbers, it always answers one question: is the first less than, equal to, or greater than the second? Because of it, numbers form a tidy queue rather than a jumbled heap.

For real numbers this is captured by the relation “less than” (<) and its companions. A key property called the law of trichotomy says that for any two reals a and b, exactly one of three statements holds: a < b, a = b, or a > b — never two at once, never none. This is what makes the real line totally ordered.

The order relation behaves predictably under arithmetic, which is what lets us solve inequalities. If a < b then a + c < b + c for any c, and a × c < b × c whenever c is positive; but the direction reverses when c is negative. These rules, applied carefully, turn an inequality like 3x − 1 < 8 into a simple range of solutions.