A map (i.e., a function or linear transformation) is surjective (or onto) if for any , it is possible to find an element such that . In other words, for every element in the codomain, the map is surjective if there is at least one element in the domain that maps to it.

A linear transformation is surjective if there’s a pivot in every row after row reducing.

See also