实闭域

实闭域是一类重要的实域。设F是一个实域，若F的任何真代数扩张都不再是实域，则称F是实闭的，或者F是一个实闭域。