実数
↑ この性質を順序完備性と呼ぶことがある。実数体においては特に「上限性質」という呼称で呼ばれることが多い。なおこの性質には実数の連続性にある通り同値な言い換えが複数ある。
↑ これは正確に述べると「実数体の定義を満たす二つの順序体は順序体として同型(=順序同型かつ体同型であるような写像が存在する)」という意味である。
↑ https://proofwiki.org/wiki/Subgroup_of_Real_Numbers_is_Discrete_or_Dense