A spherical lune is the region between two great semicircles joining antipodal points. On a unit sphere a lune of opening angle has area , obtained by integrating area over longitude width . Lune area counting yields the spherical excess formula.
New to topics? Read the docs here!