Unter einer rationalen Zahl versteht man einen Ausdruck der Form

${\displaystyle {\frac {a}{b}},}$

wobei ${\displaystyle {}a,b\in \mathbb {Z} }$ und ${\displaystyle {}b\neq 0}$ sind, und wobei zwei Ausdrücke ${\displaystyle {}{\frac {a}{b}}}$ und ${\displaystyle {}{\frac {c}{d}}}$ genau dann als gleich betrachtet werden, wenn ${\displaystyle {}ad=bc}$ (in ${\displaystyle {}\mathbb {Z} }$) gilt. Die Menge aller rationalen Zahlen wird mit ${\displaystyle {}\mathbb {Q} }$ bezeichnet.