You are here: irt.org | FOLDOC | surjection

<*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.

Only surjections have right inverses, f' : B -> A where f (f' x) = x since if f were not a surjection there would be elements of B for which f' was not defined.

See also bijection, injection.

(1995-05-27)

Nearby terms: Sure « surfing « SURGE « **surjection** » surjective » surrogate key » suspension

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL