Liczbą wymierną nazywamy liczbę którą można zapisać w postaci ułamka zwykłego (tj. ilorazu dwóch liczb całkowitych):
gdzie p∈Zp\in\mathbb{Z} oraz q∈Z/{0}q\in\mathbb{Z}/\{0\}.
Zbiór liczb wymiernych oznaczamy symbolem Q\mathbb{Q} i możemy zapisać:
Q={qp:p,q∈Z∧q=0} 
