q表示正有理数集。有理数是整数（正整数、0、负整数）和分数的统称，是整数和分数的集合。整数也可看做是分母为一的分数。不是有理数的实数称为无理数，即无理数的小数部分是无限不循环的数。
集合是指具有某种特定性质的具体的或抽象的对象汇总成的集体，这些对象称为该集合的元素，数集就是数的集合。集合的范围比数集的范围大，数集只是集合中的一种而已，属于数集的一定属于集合，但属于集合的不一定是数集。