复习拓扑时在知乎上看到这一篇文章: 拓扑学|笔记整理（4）——引入，基，常见拓扑举例, 对于其中在具备字典序定义的集合上定义序拓扑的例子有点懵逼, 现在应该算是基本想通了, 大致做个记录~
作者对这个栗子做出的解释是:
虽然我现在还没完全看懂, 但还是有了一些自己的理解: 若要证明上述序拓扑是一个离散拓扑, 那么其每个基准开邻域都应能够写成单点集的形式, 然鹅对于$b_1$这个元素而言, 无法写成开区间的形式, 因为任何一个包含$b_1$元素的开区间都包含有其它元素, 尤其是包含若干个$a_n$, 可参考下图辅助理解.
