Surjective Function

A function is surjective or “onto” if

For every \(y \in Y\), there exists \(x \in X\) such that \(f(x) = y\).