Surjective function

Definition

• A function $f:S\to T$ is “surjective” (onto) if the image of $f$ equals its range. Equivalently, for every $t\in T$, there exists some $s\in S$ such that $f(s)=t$
  • every elements in output is reachable