Definition 2.2.1.
A line is a one-dimensional figure that extends infinitely in opposite directions. In Euclidean geometry, lines are straight, but we will encounter a geometry in which they are curved. One important trait of lines is that any pair of distinct points lie on exactly one line. For this reason, we may denote the line through points \(A\) and \(B\) as \(\overleftrightarrow{AB}\text{.}\)
A line segment is the part of a line bounded by two endpoints. Line segment \(\overline{AB}\) consists of endpoints \(A\) and \(B\) and all points on line \(\overleftrightarrow{AB}\) which lie between \(A\) and \(B\text{.}\)
Unlike a line, a line segment has finite length. We define the length of \(\overline{AB}\) to be the distance from point \(A\) to point \(B\text{.}\) We use the notation \(m(\overline{AB})\) or simply \(AB\) to denote the length of \(\overline{AB}\text{.}\)