A
map
f:X->Y is surjective <=> forall y in Y there exists x in X s.t. f(x)=y.
source
jl@crush.caltech.edu
index
bijective
onto