mapping

Next: partialMapping Up: PartialFunction Previous: inDomain? Contents Index

mapping

$\begin{usage} mapping~$\sigma$ \end{usage}$

Signature

mapping: % $\to$ (R $\to$ S)

$\begin{params} {\em$\sigma$} & \% & A partial function\\ \end{params}$

$\begin{retval} Returns the map corresponding to the action of $\sigma$\ on R. \end{retval}$

$\begin{remarks} The map returned can cause an error if it is used on an element... ...is known to be in the domain, otherwise use {\em partialMapping}. \end{remarks}$

See Also

inDomain?, partialMapping, predicate

Manuel Bronstein 2000-12-13