A function $f$ is injective (resp. surjective) if each element in the codomain of $f$ pairs with at most (resp. at least) $1$ element in the domain of $f$.