定义 1： 复数集的一个非空子集\(K\)如果：
则\(K\)是一个数域。
例：有理数域\(\mathbb{Q}\)，实数域\(\mathbb{R}\)，复数域\(\mathbb{C}\)。
命题 1： 任一数域都包含有理数域，复数域是最大的数域
1.3 数域
原文：https://www.cnblogs.com/miraclepbc/p/14433988.html
