Surjection

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
A function or morphism f: X → Y whose image equals its codomain: for every y in Y there exists x in X with f(x)=y.