数域包括有理数域、实数域、复数域。

有理数是实数域的子域，实数域是复数域的子域。在这个意义上讲有理数域是最小的数域，复数域是最大的数域。 “最小”是说，不可能在减少元素的情况下保持域的性质。“最大”是说：不可能在增加不同的元素的情况下仍然保持数域的性质。在《近世代数》里面都已经予以完全的证明，有兴趣的话可以去读《近世代数》。