##### 有理数 - 有理数 - **有理数** $\mathbb{Q}$ 是通过两个[[整数]]相比得到的数字, 形式上称为分数, 分子比分母表示除法, 其中分母不为零, 也可用来表示[[小数]]. 有理数可以从整数[[有理数构造|构造]], 并且定义出[[有理数运算]]和[[线性序|有理数序]]. 有理数集是一个[[可数集|可数的]], [[无限集|无限的]], [[全序关系|全序的]], [[有界集|无界的]], [[实数完备性|不完备的]], [[域]]代数结构的[[数集]] - $\displaystyle\mathbb{Q}=\{\frac{m}{n}\mid m\in\mathbb{Z},n\in\mathbb{Z},n\neq0\}$