1.Previous
3.Next

from zero, and is defined as

Auxiliary order relations

The total order that is considered above is denoted and read as " is less than ". Three other order relations are also commonly used:
*Greater than: read as " is greater than ", is defined as if and only if
*Less than or equal to:

1.Previous
3.Next