Una función es inyectiva si cada elemento del conjunto de partida tiene una imagen única en el conjunto de llegada, es sobreyectiva si todos los elementos del conjunto de llegada son imágenes de algún elemento del conjunto de partida, y es biyectiva si es tanto inyectiva como sobreyectiva.