Surjectivity is a property of a function where every element in the codomain has at least one corresponding element in the domain. This means that the function is 'onto' the entire codomain, and that every value in the codomain can be reached from at least one point in the domain.