A function that is a many-to-one mapping; (formally) Any function f: X\rightarrow Y for which for every y \in Y, there is at least one x \in X such that f(x) = y.