lower functional calculus
nounDefinition of lower functional calculus
: functional calculus in which quantification is applied only to variables of individuals or arguments
— called also functional calculus of the first order