MathGloss

A function f:ABf:A\to B is surjective if for all bBb \in B there exists aAa\in A such that f(a)=bf(a)=b.

Wikidata ID: Q229102