Let be a Function defined on a Set and taking values in a set . Then is said to be onto (a.k.a. a Surjection) if, for any , there exists an for which .

Let the function be an Operator which Maps points in the Domain to every point in the Range and let be a Vector Space with . Then a Transformation defined on is onto if there is an such that for all .

© 1996-9

1999-05-26