A function f:A→Bf:A\to Bf:A→B is surjective if for all b∈Bb \in Bb∈B there exists a∈Aa\in Aa∈A such that f(a)=bf(a)=bf(a)=b.
Wikidata ID: Q229102