# onto

A function is onto if it is a surjection, i.e., if every element of its codomain has some element of its domain mapped to it.