Map

In mathematics generally, map is another word for mapping. In the RTT writings of Dave Keenan and Douglas Blumeyer, their convention is for "map" to refer to a single-row mapping.

A val is a special type of mapping, but in almost all RTT cases, when using Dave and Douglas's convention, map and val are interchangeable.