3.4 Mapping

A mapping μ\mu relates elements of its domain dd to elements of its range rr as follows.


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

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

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