>>754
数直線の定義は?