surjection
noun
°A function of "many-to-one" mapping relationship; more formally, fX → Y is a surjection if and only if, for every y in the codomain Y, there is at least one x in the domain X with f(x) = y.