1.3 数域

定义 1：
复数集的一个非空子集(K)如果：

• (0, 1 in K)
• (forall a, b in K)，有(a pm b, ab in K)
• (forall a, b in K)且(b eq 0)有(frac{a}{b} in K)

则(K)是一个数域。

例：有理数域(mathbb{Q})，实数域(mathbb{R})，复数域(mathbb{C})。

命题 1：
任一数域都包含有理数域，复数域是最大的数域