ℚ est construit à partir de ℤ et de ℕ*.
Les nombres rationnels sont les quotients p / q d'un entier relatif p par un entier naturel non nul q : ℚ = {p / q | p ∈ ℤ, q ∈ ℕ*}. Deux écritures p / q et p′ / q′ désignent le même rationnel quand p fois q′ égale p′ fois q.
ℚ* = {r ∈ ℚ | r ≠ 0}.
ℚ+ = {r ∈ ℚ | r ≥ 0}.
ℚ+* = {r ∈ ℚ | r > 0}.