\begin{definition}[Definition:Coincident Straight Lines]
Two straight lines are '''coincident''' {{iff}} they lie on top of each other.
That is, two straight lines $L_1$ and $L_2$ are '''coincident''' {{iff}}:
:$L_1 \cap L_2 = L_1 = L_2$.
\end{definition}