the doctrine of the sphere; the science of the properties and relations of the circles, figures, and other magnitudes of a sphere, produced by planes intersecting it; spherical geometry and trigonometry.