体 (たい) とは端的には四則演算を伴った代数構造のことであり、順序体とはその四則演算に両立する大小関係を伴った体のことである。身近なものだと実数体や有理数体があてはまるが、それ以外にも順序体は存在する。この記事では、順序体に共通する初等的な性質を証明していく。