如果一个包含0,1在内的数集P对于加法，减法，乘法与除法（除数不为0）是封闭的，那么P就称为一个数域
全体有理数组成的集合Q
全体实数组成的集合R
全体复数组成的集合C
所有具有形式a+b\(\sqrt{2}\)的数（其中a,b是任何有理数）构成一个数域
所有的数域都包含有理数域作为它的一部分
由P含有1，且P对于加法的封闭性，得：P包含全体自然数，
再由P含有0，且P对于减法的封闭性，得：P包含全体整数，
最后由P对于除法的封闭性，得：P包含全体有理数
原文：https://www.cnblogs.com/P-Champion/p/14591690.html