3.4 Mapping

A mapping μ \mu relates elements of its domain d d to elements of its range r r as follows.

μ d = r \mu(d)=r

A mapping resides in a data structure that supports two operations:

  • Map links an element r r in the range of μ \mu to an arbitrary element d d in the domain of μ \mu , i.e. sets μ d \mu(d) to r r .

  • Evaluate evaluates the mapping μ \mu for an arbitrary element d d in its domain, i.e. returns μ d \mu(d) .