A function is a special type of mapping where every element of the domain maps to an element (and only one element) of the codomain.