设G是一个至少含有两个数的数集，若对任意a，b∈G，都有a+b，a-b，ab，ab∈G（除数b≠0），则称G是一个数-百谷歌

因所给数域中的两数a、b完全可以相等，此时a-b=0，ab＝1，所以①正确；对于②，取a=1，b=2，则ab＝12?G，所以②不正确；对于③，数集M中多加一个复数i，则1-i?M，所以③不正确；因数域中的数可以连续进行四种运算，所以数域必为无限集，所以④正确．故选B．