n. 1. the branch of mathematics that studies the properties of functions and operations upon functions. The brachistochrone problem is an example of a problem of functional calculus. 2. any theory that guarantees that it is possible to mimic familiar constructions on the complex numbers with matrices or operators, for example, with the existence of square roots of operators. 3. a less common term for predicate calculus.