surjection

views updated

surjection (onto function) A function whose range and codomain coincide. If f : XY

is a surjection then for each y in the codomain Y there is some x in X with the property that y = f(x)

A function that is not surjective is sometimes said to be into.