RhymeZone: surjection definitions

Definitions of surjection:

noun: (set theory) A function for which every element of the codomain is mapped to by some element of the domain; (formally) Any function f:X→Y for which for every y∈Y, there is at least one x∈X such that f(x)=y.

(Definitions from Wiktionary)