\begin{definition}[Definition:Length of Arc of Great Circle]
Let $E$ be a great circle on a sphere $S$ whose center is $O$.
Let $AB$ be an arc of $E$.
The '''length''' of $AB$ is defined as the angle subtended at $O$ by $AB$.
\end{definition}