surject

To establish the result, we surject the set A onto B by explicitly defining a function that hits every element of B.