Рационално число се нарича такова число, което може да бъде изписано като деление на две цели числа. Те могат да бъдат изразени като частно на целочислено делимо и ненулев целочислен делител. Рационалните числа обикновено се представят като обикновени дроби.

Множеството на рационалните числа се означава с Q. То включва всички цели числа, тъй като всяко цяло число може да бъде записано като дроб със знаменател 1. Q е изброимо множество – на всеки елемент на Q може да се съпостави естествено число. Равномощността на множеството на рационалните числа Q с множеството на естествените числа N е доказана от Георг Кантор (1845 – 1918) с помощта на неговия диагонален метод.