4. Surjections
By definition, a function doesn't necessitate the entirety of the codomain to be used up. But when that is the case, you have a special kind of a function — a surjection.
By definition, a function doesn't necessitate the entirety of the codomain to be used up. But when that is the case, you have a special kind of a function — a surjection.