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.
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.