【设P是一个数集,且至少含有两个数,若任意a,b∈P,都有a+b,ab,a/b∈P(除数b≠0）,则称P是一个数域例如有理数集Q是一个数域；数集F={a+b√2/a,b∈Q}也是数域有以下命题：①整数集是数域；②若有理】

　　设P是一个数集,且至少含有两个数,若任意a,b∈P,都有a+b,ab,a/b∈P(除数b≠0）,则称P是一个数域

　　例如有理数集Q是一个数域；数集F={a+b√2/a,b∈Q}也是数域

　　有以下命题：①整数集是数域；②若有理数Q是M的子集,则数集M必为数域③存在无穷多个数域

　　答案给的②错误的原因是设M中除了有理数外还有另一个元素√2,则Q是M的子集,∵2∈Z,∴2√2也必须在M中,而2√2不属于M,所以②错,但我不明白2√2怎么来的.其次,答案给的③对的原因是形如M={a+bx/a,b∈Q,x为无理数}这样的数集都为数域,那么请问什么叫数域?请多指教