長い直線とおんなじ感じで長い点線てあるんでしょうか？
任意の二つの点は有限の点列でつながっているけど、全体は整数と順序同型ではない、みたいな