x1、x2∈数域A且x1、x2∈数域B即x1、x2∈A∩B
x1、x2的运算属于A也属于B
即x1、x2的运算属于A∩B
所以A∩B也是一个数域