Question: how to do surjective function?
Answer: Specifically, if both X and Y are finite with the same number of elements, then f : X → Y is surjective if and only if f is injective. Given two sets X and Y, the notation X ≤* Y is used to say that either X is empty or that there is a surjection from Y onto X.