A kind of correspondence that every element in the domain is mapped to the same element in the range​