\begin{definition}[Definition:Half-Plane/Edge]
Let $\PP$ denote the plane.
Let $\LL$ denote an infinite straight line in $\PP$.
Let $\HH$ denote one of the half-planes into which $\LL$ divides $\PP$.
Then $\LL$ is called the '''edge''' of $\HH$.
\end{definition}