実閉体

体と同じ一階の性質を持つこと、つまり一階言語で書ける任意の文が F において真となるための必要十分条件はそれが実数体において真となることである。(代数型 (signature) の選択は重要でない) F 上の全順序が存在して F は順序体となり、かつその順序に関する F の任意の正元が