A negative real number is a real number , lying to the left of zero on the number line. Equivalently, for a positive real number . Examples include , and ; zero is excluded.
The sum of two negative real numbers is negative, while their product is positive. Multiplication by a negative real number reverses an inequality: if and , then . These are consequences of compatibility between the total order and the arithmetic of an ordered field, rather than independent rules about written minus signs.
New to topics? Read the docs here!