反元素 formula_4，对所有非零元素 formula_5 有乘法反元素 formula_6，这种性质让我们可以用以下方法来定义加法和乘法的"反运算"，减法：formula_7 和除法 formula_8
定义1.域是交换性除环。 
定义2.域是一种交换环("F", +, *)，当中加法单位元（0）不等于乘法单位元（1），且所有非零元素有乘法逆元。更简单讲就是：域是可交换除环。
定义3.域是个集合 formula_11 且带有