Surjective Function

up:: 020 MOC Mathematics

A function $f:X\to Y$ is said to be surjective if it covers its entire codomain $Y$. That is,

$$\forall y\in Y,\exists x\in X\mid f(x)=y$$