-Inyectiva: Cuando cada uno de los elementos del conjunto final es, como máximo, imagen de uno de los elementos del conjunto original.
-Sobreyectiva: Cuando todos los elementos del conjunto final son, al menos, una o más imágenes de un elemento del conjunto original.
-Biyactiva: Esta función es, a su vez, las dos anteriores. Por lo tanto, a cada elemento de A le corresponde un elemento de B.