例若有理数域Q,实数域R,复数域C,{z|z=a+bi,a,b∈Q},……
在实数域上定义二元有序对z(a,b)，并规定有序对之间有运算+,x(记z1(a,b),z2(c,d))：z1+z2(a+c,b+d)z1xz2(ac-bd,bc+ad)随便验证，如许定义的有序对全体在有序对的加法和乘法下成一个域，而且对任何复数z，我们有z(a,b)(a.0)+(0,1)x(b,0)令f是从实数域到复数域的映射，f(a)(a,0)，则那个映射连结了实数域上的加法和乘法，因而实数域能够嵌进复数域中，能够视为复数域的子域
0