Definition:Spherical Excess of Spherical Triangle

Definition
Let $\triangle ABC$ be a spherical triangle.

Let $E$ be the sum of the angles of $\triangle ABC$.

The spherical excess of $\triangle ABC$ is how much $E$ is greater than $\pi$ radians.