数学上，有理数是一个整数a和一个正整数b的比，通则为a除以b。0也是有理数。有理数是整数和分数的集合，整数也可看做是分母为一的分数。有理数的小数部分是有限或为无限循环的数。不是有理数的实数称为无理数，即无理数的小数部分是无限不循环的数。

有理数的数域既没有上界，也没有下界，也就是说：找不到最小的有理数，或不存在最小的有理数。所以也没有最大的有理数。