formula_3)和非零整数分母(formula_4)的分数的数，即formula_5，其代表 1 被分做相同的formula_4份，再取formula_3份后的量。两个不同分数可能会对应到相同的有理数，如：formula_8。若formula_3的绝对值大于formula_4的绝对值时，其分数的绝对值会大于 1。分数可以是正的、负的、或零。所有分数所组成的集合包含有整数，因为每一个整数都可以写成分母为 1 的分数。有理数的符号为ℚ，formula_11（"quotient" <中文：商>的缩写）。S