Every real number is negative, 0, or positive. The law is sometimes stated as "For arbitrary real numbers a and b, exactly one of the relations ab holds".

Schröder-Bernstein theorem | total order