全實擴張

全實擴張(totally real extension)一類特殊的實擴張域.設K是實域F'的一個擴張，若F'上的每個序都可拓展為K上的一個序，則稱K是F的一個全實擴張.換言之，若K是一個實域，並且從XK到X;的限制映射rKl;是一個滿射，則K是F的全實擴張.