Definition:Length of Arc of Great Circle

Definition
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$.