surjection

function of "many-to-one" mapping relationship