数学的には線というのは無数の点の集合と定義される