设P是一个数集,且至少含有两个数,若任意a,b∈P,都有a+b,ab,a/b∈P(除数b≠0),则称P是一个数域
例如有理数集Q是一个数域;数集F={a+b√2/a,b∈Q}也是数域,有以下命题:①整数集是数域;②若有理数Q是M的子集,则数集M必为数域③数域必为无限集④存在无穷多个数域为什么③是对的,若令a=0,b取任意一个不为0的数a+b=b∈Pab,a/b=a=0∈P此时P数域中只有两个元素0和b,这时就是有限集啊