Meng Lu's home page / academics / course / zhang zhusheng calculus / 1.1.4 summary on basic properties of real number system 實數系是一個連續的有序域。