a function obtained from two given functions, where the range of one function is contained in the domain of the second function, by assigning to an element in the domain of the first function that element in the range of the second function whose inverse image is the image of the element.