Synonym of function (“a relation in which each element of the domain is associated with exactly one element of the codomain”).