|         |         | 
Let  be a Function defined on a Set
 be a Function defined on a Set  and taking values in a set
 and taking values in a set  .  Then
.  Then  is said to be onto
(a.k.a. a Surjection) if, for any
 is said to be onto
(a.k.a. a Surjection) if, for any  , there exists an
, there exists an  for which
 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
 be a Vector Space with 
 .  Then a
Transformation
.  Then a
Transformation  defined on
 defined on  is onto if there is an
 is onto if there is an 
 such that
 such that 
 for all
 for all  .
.
See also Bijection, One-to-One