Una función f es una relación que asigna a los elementos de un primer

conjunto (conjunto inicial X) un elemento de un segundo conjunto (conjunto final

Y). A cada elemento de X le corresponde, un y solo un elemento de Y.

Dominio de la función

El dominio de una función f es el subconjunto Dom f (o D) de elementos que tienen

imagen. Es decir, el conjunto de elementos x de la variable independiente X que
tienen imagen en Y. También se le llama campo de existencia de la función.

Rango de la función

Son los valores que toma la función "Y" (variable dependiente), por eso se
denomina “f(x)”, su valor depende del valor que le demos a "X". Gráficamente lo
miramos en el eje vertical (ordenadas), leyendo de abajo a arriba.

Tipos de funciones
La inyectividad, sobreyectividad y biyectividad dan información acerca de cómo se
relacionan los elementos del conjunto inicial X con el conjunto final Y.

Cabe recordar que una función f es una relación que asigna a los elementos de un
primer conjunto (conjunto inicial X) un elemento de un segundo conjunto (conjunto
final Y).
Función inyectiva

La función f(x) es inyectiva si cada elemento del conjunto final Y tiene un único
elemento del conjunto inicial X al que le corresponde. Es decir, no pueden haber
más de un valor de X que tenga la misma imagen Y. Reciben también el nombre
de funciones “uno a uno”.

Función sobreyectiva

Una función f es sobreyectiva (o suprayectiva) si todo elemento del conjunto final

Y tiene al menos un elemento del conjunto inicial X al que le corresponde.

Función biyectiva

Una función f(x) es biyectiva si es al mismo tiempo inyectiva y sobreyectiva. Es

decir, si todo elemento del conjunto final Y tiene al menos un elemento del
conjunto inicial X al que le corresponde (condición de función sobreyectiva) y
todos los elementos del conjunto inicial X tiene una única imagen en el conjunto
final Y (condición de función inyectiva).

Digamos que no puede quedarse ningún elemento en el conjunto final (Y) solo, sin
asociarse con un único elemento del conjunto inicial (X).