順序体
特に有限体は順序体にならない。
平方元は非負、すなわち F の各元 a に対して 0 ≤ a が成り立つ。特に同じ理由で 1 > 0 が成り立つ。
順序体の任意の部分体は、もとの体の順序をそこに制限して得られる順序に関してそれ自身が順序体を成す。最小の部分順序体は(任意の標数 0 の体がそうであるように)有理数体に同型であり、この部分体としての有理数体上の順序は有理数体自身の通常の順序に一致する。順序体の元が必ず部分体としての有理数体の二つの元の間にあるならば、そのような順序体はアルキメデス的であると言う。また、そうでない順序体は非アルキメデス順序体と呼ばれ、無限小を含む。例えば、実数体はアルキメデス順序体を成すが、超実数体は任意の標準自然数よりも大きい拡大実数を含むから非アルキメデス順序体になる。
順序体 K が実数体となるのは、K の空でない任意の上に有界な部分集合が K 内に上限を持つときである。