A function from a set A to a set B is a surjection or onto function if every element in B corresponds to at least one element in A.