Definitions

1. noun

A surjective function, which is a function from one set to another where every element in the second set is the image of at least one element in the first set.

“The mathematician studied the properties of a surjection between two infinite sets.”

2. noun

A mapping that is surjective, meaning that its image is the entire codomain.

“The function was a surjection because it reached every possible value in the target space.”