Rationale Zahlen: Man erzeugt eine rationale Zahl als Bruch zweier ganzer Zahlen mit dem Symbolbild

oder mit dem Symbol
/. Wir verfügen über zwei Funktionen in Verbindung mit den rationalen Zahlen:
zähler und
nenner. Wenn
q eine rationale Zahl ist, so bilden
zähler(q) und
nenner(q) (in dieser Reihenfolge) den Zähler und den Nenner des unkürzbaren Bruchs, der äquivalent zu
q ist.