实域

设F是任意域；以0，1分别表示它的零元和乘法单位元。若-1不能表作F中的平方和，就称F为实域（或者形式实域）。常见的有理数域Q和实数域R，都是这个意义下的实域；但复数域C以及有限域，都不是实域。