自明でない順序環は無限集合になることの証明を教えて下さい
また自明でない順序環でかつ"任意の空でない正の元の集合は最小値をもつ"という性質は整数全体を特徴づけますか？