>>73
そう。「普通は」有理数コーシー列とかを使って実数を構成する。
でも>>65では「切断」を用いて実数を定義しようってわけでしょ？
だから切断から位相的性質を導かないと。