En álgebra abstracta, una función   es inyectiva si a elementos distintos del

conjunto   (dominio) les corresponden elementos distintos en el conjunto   (imagen) de  . Es

decir, cada elemento del conjunto Y tiene a lo sumo una antiimagen en X, o, lo que es lo mismo, en
el conjunto X no puede haber dos o más elementos que tengan la misma imagen.

En matemática, una función   
es sobreyectiva (epiyectiva, suprayectiva, suryectiva, exhaustiva o subyectiva), si está
aplicada sobre todo el codominio, es decir, cuando cada elemento de "Y" es la imagen de como
mínimo un elemento de "X".

Formalmente,

En matemáticas, una función es biyectiva si es al mismo tiempo inyectiva y sobreyectiva; es decir,

si todos los elementos del conjunto de salida tienen una imagen distinta en el conjunto de llegada,
y a cada elemento del conjunto de llegada le corresponde un elemento del conjunto de salida.

Formalmente, dada una función  :

 La función es biyectiva si se cumple la siguiente condición:

Es decir, si para todo   de   se cumple que existe un único   de  , tal que la función
evaluada en   es igual a  .

Dados dos conjuntos   e   finitos, entonces existirá una biyección entre ambos si y sólo
si   e   tienen el mismo número de elementos.

Ejemplo de función biyectiva de dosconjuntos finitos, donde se puede ver que  .