设P是一个数集，且至少含有两个数，若对任意a，b∈P，都有a+b，a-b，ab， ∈P(b≠0)，则称P是一个数域，例如有理数集Q是数域，下列命题中正确的是（    ）