数域定义设f是一个数环，如果

(1)对任意的a∈f且a≠0；(2)若a,b∈f而且a≠0,则b/a∈f；

则称f是一个数域。例如有理数集q、实数集r、复数集c等都是数域。

数域性质

任何数域都包含有理数域q。