law of trichotomy

The law of trichotomy for real numbers states that every real number is positive, negative, or zero.

Formally,
given $a\in \mathbb{R}$, exactly one of the following holds:

1. $a>0$
2. $a=0$
3. $a<0$

More generally, $<$ is a trichotomous relation on the set of real numbers.