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:

That is, strict ordering on integers is well-defined.