A surjection (or onto) is a function f : X -> Y
which maps the domain X to the range Y
such that, for every y in Y there is at least one x in X such that f(x) = y.
see also: Bijection
