(mathematics) A function f : A -> B is surjective or onto or a surjection if f A = B. I.e. f can return any value in B. This means that its image is its codomain.
Last updated: 1995-05-27
Updated: Wed Sep 28 15:18:13 2016
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985