Function Theory: TERMS

function equinumerosity map mapping transformation morphism arrow function process functional relation procedure subroutine mathematical function pure function honest function Measurable function pointwise

function theory function as a relation function as a set of ordered pairs function as a graph function as a rule function as a process function as a calculation

functional relation left-unique relation right-serial relation total function partial function

domain codomain range image pre-image function as a set function graph

functions in math functions in CS functions in programming functions in programming languages main-effect side-effect honest function pure function mathematical function diverging function computable function closure anonymous function

parameter formal parameter parameter tuple argument argument tuple arity

nullary unary binary ternary currying uncurrying first-class function Function application nested function function signature function declaration function definition functional complexity classes constant function linear function logarithmic function linearithmic function quadratic function cubic function factorial function exponential function