Extension, Doctrine of, See Extensive algebra.