设F是域K的子集，对于K的加法和乘法运算，F也做成一个域，则称F是K的一个子域，K是F的一个扩域，记作K/F，称K/F为一个域扩张。设 ，E/F和K/E都是域扩张，则称E是K/F的一个中间域。一种特殊的域。它是有序结构的域。全正元(totally positive element)是序域中的特殊元素。属于域中所有正锥之交的元。