设A和B是两个数域
若存在两个数x,y∈A∩B,且y≠0,
则由于x,y∈A,x/y∈A;x,y∈B,x/y∈B,
所以x/y∈A∩B.即A∩B是一个数域.