$f : A \to B$ is onto if and only if:

• arange $f \subset B$
• brange $f = B$
• cdomain = $B$
• d$f$ is one-one