有理数集，即由所有有理数所构成的集合，用字母Q表示。有理数集是实数集的子集，有理数集是一个无穷集，不存在最大值或最小值。由于有理数集中所有元素均为有理数，因此可得整数集、分数集、小数集、自然数集，都是有理数集的一个子集。即有理数包含整数、分数、小数、自然数。有理数集是实数集的一个子集，也是复数集的一个子集，即有理数是实数或复数的一部分。
