ℤ est construit à partir de ℕ.
Les entiers relatifs sont les différences n − m de deux entiers naturels n et m : ℤ = {n − m | n ∈ ℕ, m ∈ ℕ}. Deux différences désignent le même entier relatif quand n − m = n′ − m′ ⟺ n + m′ = n′ + m.
(n − m) + (n′ − m′) = (n + n′) − (m + m′).
(n − m) − (n′ − m′) = (n + m′) − (m + n′).
Pour a et b dans ℤ, a ≤ b quand la différence b − a est un entier naturel : a ≤ b ⟺ b − a ∈ ℕ.
ℤ* = {k ∈ ℤ | k ≠ 0}.
ℤ+ = {k ∈ ℤ | k ≥ 0}. Ce sont les entiers naturels : on identifie ℤ+ à ℕ.
ℤ+* = {k ∈ ℤ | k > 0}.
Pour p et q dans ℤ, ⟦p, q⟧ = {k ∈ ℤ | p ≤ k ≤ q} : les entiers de p à q. Il est vide quand q est strictement inférieur à p.
Un entier relatif k est pair (k pair) quand il s'écrit 2m avec m dans ℤ, et impair (k impair) quand il s'écrit 2m + 1 avec m dans ℤ.