Strict Ordering on Integers is Well-Defined

Theorem
Let $\eqclass {a, b} {}$ denote an integer, as defined by the formal definition of integers.

Let:

Then:

Proof
This is a direct application of the Extension Theorem for Total Orderings.