title description a function f:S→T is “surjective” (onto) if the image of f equals its range, or for each t∈T, there is AT LEAST one s∈S such that f(s)=t prove: let f(s) = t ⇒ s = … as t∈T, if s∈S → surjective
