Unter einer rationalen Zahl versteht man einen Ausdruck der Form
wobei a , b ∈ Z {\displaystyle {}a,b\in \mathbb {Z} } und b ≠ 0 {\displaystyle {}b\neq 0} sind, und wobei zwei Ausdrücke a b {\displaystyle {}{\frac {a}{b}}} und c d {\displaystyle {}{\frac {c}{d}}} genau dann als gleich betrachtet werden, wenn a d = b c {\displaystyle {}ad=bc} (in Z {\displaystyle {}\mathbb {Z} } ) gilt.