die durch \begin{eqnarray}\frac{a}{b}+\frac{c}{d}:=\frac{ad+bc}{bd} \,(\frac{a}{b},\frac{c}{d}\in {\mathbb{Q}})\end{eqnarray}

erklärte Abbildung + : ℚ × ℚ → ℚ, wenn die rationalen Zahlen ℚ als Brüche \begin{eqnarray}\frac{a}{b}\end{eqnarray} ganzer Zahlen a, b mit b ≠ 0 eingeführt werden. Definiert man ℕ als die kleinste induktive Teilmenge des axiomatisch eingeführten Körpers ℝ der reellen Zahlen, die ganzen Zahlen ℤ als −ℕ ∪ {0} ∪ ℕ und ℚ als die Menge derjenigen reellen Zahlen, die sich als Quotient ganzer Zahlen schreiben lassen, so ist ℚ gegenüber der von ℝ geerbten Addition abgeschlossen, man erhält also die Addition auf ℚ als Einschränkung der Addition auf ℝ.