EDB — 287

Ordering from arithmetic[287]

Having already defined arithmetic, a convenient definition of ordering is as follows.

We will show that \(≤\) it is a total order relation, and is a well ordering. Let’s first see some elementary but fundamental properties.

[298]↺↻

Exercises

1. [28D]↺↻

2. [28G]↺↻

3. [28N]↺↻

4. [28J]↺↻

5. [28M]↺↻