Arithmetic, Order and Discreteness of the Integers

Adopt the notation of the definition of the integers: $\mathbb{R}$ is the real numbers with the order $\le$ of its ordered field structure, $\mathbb{N}$ is the set of natural numbers, $\iota:\mathbb{N}\to\mathbb{R}$ is the canonical map, and $\mathbb{Z}$ is the set of integers. For $s,t\in\mathbb{R}$ write $s<t$ to mean $s\le t$ and $s\ne t$, and write $\iota(\mathbb{N})=\{\iota(n):n\in\mathbb{N}\}$ and $-\iota(\mathbb{N})=\{-\iota(n):n\in\mathbb{N}\}$. Then the following hold.

1. (Sign trichotomy.) The sets $\{0\}$, $\iota(\mathbb{N})$ and $-\iota(\mathbb{N})$ are pairwise disjoint and their union is $\mathbb{Z}$. Moreover

2. (Closure under the ring operations.) $0\in\mathbb{Z}$ and $1\in\mathbb{Z}$, and for all $x,y\in\mathbb{Z}$ the real numbers $-x$, $x+y$, $x-y$ and $xy$ belong to $\mathbb{Z}$.

3. (Discreteness.) If $x\in\mathbb{Z}$ and $0<x$, then $1\le x$. Consequently there is no $x\in\mathbb{Z}$ with $0<x<1$, and if $x,y\in\mathbb{Z}$ satisfy $x<y$ then $x+1\le y$.