实直线

实数线具有一个标准拓扑，它可以通过两种等价的方法引入。