A function whose co-domain is [see page 7, equivalent] to its range. That is for every output the function has at least one input that maps to it.