\begin{definition}[Definition:Exterior of Circle]
Let $\CC$ be a circle embedded in the plane whose radius is $r$ and whose center is at $O$.
The '''exterior''' of $\CC$ is the set of points in the plane whose distance from $O$ is (strictly) greater than $r$.
\end{definition}