Definition:Proper Mapping/Also known as

Proper Mapping: Also known as
A proper mapping can also be referred to as a proper map or a proper function.

standardises on mapping rather than map, and reserves the term function for numbers.