Surjective function

A surjective function, also known as a "onto" function, is a type of function in mathematics where every element in the codomain (the set of possible outputs) is mapped to by at least one element from the domain (the set of possible inputs).