有理数集，即由所有有理数所构成的集合，用黑体字母Q表示。有理数集是实数集的子集。
有理数集是一个无穷集，不存在最大值或最小值。
有理数集是一个域，即在其中可进行四则运算（0作除数除外），而且对于这些运算，以下的运算律成立（a、b、c等都表示任意的有理数）。
相关信息：
由于有理数集中所有元素均为有理数，因此可得：
整数集、分数集、小数集、自然数集，都是有理数集的一个子集即：有理数包含整数、分数、小数、自然数等（不考虑重复列举关系）
有理数集是实数集的一个子集，也是复数集的一个子集即：有理数是实数（或复数）的一部分。
