順序体
数学における順序体（じゅんじょたい、）とは、全順序をもつ体で、その順序が体の演算と両立するもののことである。
順序体は標数 でなければならず、任意の自然数 は全て相異なる。従って順序体は無限個の元を含まねばならず、有限体には順序を定義することができない。
順序体の任意の部分体は、元の体の順序に関してそれ自身順序体を成す。任意の順序体は有理数体に同型な部分順序体を含む。任意の順序体は実数体に同型である。順序体において平方元は非負でなければならない。従って複素数体には（虚数単位 の平方が だから）順序を定義することはできない。任意の順序体は実体である。
歴史的にはヒルベルト、ヘルダー、ハーンらを含む数学者たちによって徐々に公理化が進められ、1926年に順序体および（形式的）実体に関するによって結実する。