a (mathematics|of a function) Assuming each of the values in its codomain; having its range equal to its codomain.