surjection

noun

1. (set theory) A function of "many-to-one" mapping relationship; more formally, f: X.