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

设P是一个数集,且至少含有两个数,若对于任意a,b∈R都有a+b,a-b,ab,a/b ∈P(b≠0),则称P是一个数域.例如
第四个正确么 为什么?
设P是一个数集，且至少含有两个数，若对于任意a,b∈R都有a+b,a-b,ab,a/b ∈P(b≠0),则称P是一个数域。例如，有理数Q是一个数域，数集F={a+b√2|a,b∈Q}也是数域。给出下列命题：①整数集是数域；②若有理数集Q含于M，则数集M也为数域；③数域必为无限集；④存在无穷多个数域。其中正确的命题有__________(填序号）。