グラフ理論
このように形式的に線分を定義すれば、グラフ理論などにおける辺も線分として考えられる。