I don't like that definition as how do you determine the distance from a fixed point without using a line?
> it's the shortest path between two points, if you extend it to be infinitely long
That's probably a better definition
for any pair of points P you can construct a pair of spheres centered on P1 and P2 and take the intersection to find points on the line.