A function $f:A\to B$ is surjective if for all $b \in B$ there exists $a\in A$ such that $f(a)=b$.
Wikidata ID: Q229102