高层序域实闭包

高层序域的实闭包(real closure of an ordered field of higher level)是指序域的实闭包在高层序域上的推广。这类实闭包保留普通实闭包的一些特性，但在某些方面有别于普通实闭包。设是一个高层序域，的一个实闭包是指域F的一个极大代数扩张R，使得P在R上有忠实扩张。高层序域的实闭包总是存在的。