存在.
例如用Q(√2)表示{x=a+b√2|a,b ∈Q},那么容易证明,Q(√2)满足加减乘除的封闭性,是数域.并且显然Q