序域，是指一种具有关系“>”的域F,其中正元素集{x∈F|x>0}在加法和乘法下封闭。常见的实数域就是一种序域，它除了具有域的结构外，还具有序结构，即实数的正负以及它们与代数运算的关系。
目录
定义阿基米德序域实闭域
定义如果对一个域F的元素能规定一种性质（称为“正性质”，记作>0）使之满足以下两个条件：
① 对于F的每个元素α,必有而且仅有α=0,α>0,-α>0之一成立；
② 若α>0，b>0，则有α+b>0和αb>0成立，那么F就被称为序域。
常常以(F，>)表示由F以及“正性质”所确定的序域。(F，>)中满足α>0的元素α,称为(F，>)的正元素。对于(F,>)中任意二元素α、b,若有α-b>0，则规定α>b。对于同一个域,可以规定不同的“正性质”,从而得出不同的序域。
阿基米德序域具有阿基米德“正性质”的域，称之为阿基米德序域。所谓阿基米德“正性质”即设α是序域(F，>)的任何一个正元素，若对于(F，>)的每个正元素b,总能选择适当的自然数n（与b有关）,使得nα>b成立。不满足这个要求的“正性质”，称为非阿基米德“正性质”。具有非阿基米德“正性质”的域，称为非阿基米德序域。依照这个分类，有理数域、实数域和实代数数域，按通常的大小关系作为“正性质”，它们都是序域；按阿基米德“正性质”，它们又都是阿基米德序域。实数域的子域也是阿基米德序域。反过来还可以证明，任何一个阿基米德序域都保序同构于实数域的一个子域。
设Q是有理数域,t是Q上的一个超越元。作纯超越扩张Q(t)，并对它的“正性质”规定如下：对于Q中的数，“正性质”就是通常的大小关系；令t>0,对于每一正数α,都有α>t。这个规定可以延展到Q(t)的任何二元素之间，使得满足条件②,于是得到一个序域(Q(t)，>)。因为无论取什么自然数n都得不到nt>α,所以(Q(t)，>)是一个非阿基米德序域。
但是,还可以对Q(t)规定另一个“正性质”：对Q中的数,规定如前；而令t取超越数π的大小。这个“正性质”记作′>0，于是(Q(t),′>)就是一个阿基米德序域。
实闭域若F是个形式实域，而F的任何代数扩张都不再是形式实域,则F称为实闭域。从任何一个形式实域F出发，先作出它的代数闭包Ω，使用佐恩引理,很容易知道在Ω中存在至少一个实闭域。它们都是F的扩张,所以又可称作F在Ω内的实闭扩张，一般来说,形式实域在它的代数闭包内的实闭扩张不是唯一的。
实数域和实代数数域都是实闭域。使实闭域成为序域的“正性质”是唯一的，但是具有唯一“正性质”的形式实域不一定都是实闭域，有理数域就是一例。对于实闭域可以作出许多刻画，其中之一是E.阿廷和O.施赖埃尔给出的著名定理：设F不是代数闭域。F成为实闭域的充分必要条件是，F的代数闭包Ω为F的有限扩张。
实闭域具有许多重要的性质，其中特别重要的一条是A.塔尔斯基的元数学原则，即代数上任何一条初等命题，如果在某一实闭域上成立，那么在其他实闭域上也同样成立。
序域和形式实域的理论，最初是由阿廷和施赖埃尔于1926年建立的。在这一理论的基础上，阿廷成功地解答了希尔伯特第17问题。
