bijection A surjection is a mapping (function) between sets that is both an injection (‘one-to-one’) and a surjection (‘onto’). See the function article for a complete exposition.