设P是一个数集，且至少含有两个数，若对任意a、b∈R，都有a+b、a－b，ab、 ∈P（除数b≠0）

你不能任取a,b∈R来验证Q是不是数域，应该取a,b∈Q 最开始说错了，是取a,b∈P来验证P是不是数域