Function: TERMS

anonymous function arrow bijective codomain composition constant function definition of function domain fixpoint function as graph function as procedure function as relation function as rule function properties identity function image implicit function injective inverse invertible invertible function map, mapping morphism multivalued function mutually recursive functions named function one-to-one one-to-one correspondence onto ordered pair partial function pre-image primitive recursive function range recursion recursive function restriction source surjective target transformation