underlying mapping of a function