# This is a metric space? (with incident and parallel lines)

Let $X$ be the set of lines in the Euclidean plane. For $r,s$ $\in$ $X$, $d (r, s)$ is the Euclidean usual distance between $r$ and $s$ if the two lines are parallel, otherwise the arc angle (with value in $[0,\pi/2]$) of the smallest angle formed by rays if the two lines are incident. Than $(X,d)$ is a metric space?

-

HINT: What if $r$ and $s$ are parallel lines one unit apart, and $t$ is a line that makes a very small angle with $r$ and $s$? Do you have the triangle inequality $d(r,s)\le d(r,t)+d(t,s)$?