《陶哲轩实分析》第4章整数和有理数

命题4.1.6 整数的的代数定律
全体整数构成一个交换环。

命题4.2.4 有理数的代数定律
有理数集\(Q\)构成了一个域（有序域）。