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)