全然関係ないがDedekindの切断って
有理数体から実数を作る場合以外に
何か応用ってあるのかな？どうも
新しいテキストには載らないことの方が
多いような気がする