ein Bruch \(\frac{m}{n}\) natürlicher Zahlen m, n mit m < n, also ein Bruch, der eine rationale Zahl im Intervall (0, 1) darstellt.

Zu jedem Bruch \(\frac{p}{q}\) mit p, q ∈ ℤ, q ≠ 0, der keine ganze Zahl ist, gibt es genau ein k ∈ ℤ so, daß \(\frac{p}{q}\,-\,k\) ein echter Bruch ist, nämlich \(\lfloor {{p \over q}} \rfloor\), wobei ⌊ ⌋ die floor-Funktion (Abrundung auf ganze Zahl) ist. Ein nicht-echter Bruch heißt auch unechter Bruch.