trichotomy law

Also known as law of trichotomy, axiom of trichotomy, trichotomy axiom, trichotomy of the real numbers, trichotomy of the reals

law (every real number is either positive, negative, or zero)