In this section, juxtaposed variables such as indicate the product , and the standard order of operations is assumed.
A total order on the natural numbers is defined by letting if and only if there exists another natural number where .