or combinatorics, n. the formal study of functions regarded in terms of the binary operation of application; this is equivalent to the lambda calculus.