**Introduction **

The **less than relation** is an order relation of real numbers. In this post, however, to prove one of its properties, we limit it to the set of whole numbers. In the set of whole numbers, is less than , or in symbol, *if and only if *there exists a whole number such that . For example, we are sure that because there exists a whole number such that .

Below we prove one of the properties of order relations in the set of whole numbers. That is, if and , then . This is called the transitivity property for the relation .

**Theorem**

If and , then .

**Proof**

From the definition above, if and only if there exists a whole number such that .

It follows that means there exists a whole number such that .

By substitution, .

Subtracting from both sides of the equation and regrouping gives us .

If, we let , then is also a whole number since and are whole numbers.

By substitution, we have .

Since there exists a whole number such that , it follows that .