Spherical lune

A spherical lune is the region between two great semicircles joining antipodal points. On a unit sphere a lune of opening angle $\alpha$ has area $2\alpha$, obtained by integrating area over longitude width $\alpha$. Lune area counting yields the spherical excess formula.