\begin{definition}[Definition:Normal to Curve]
Let $C$ be a curve embedded in the plane.
The '''normal to $C$''' at a point $P$ is defined as the straight line which lies perpendicular to the tangent at $P$ and in the same plane as $P$.
\end{definition}