Respuesta :

a ver empezare:
funcion: es una relacion que cumple 2 condiciones:
 existencia-para todos los x del dominio se verifica que existe una imagen Y
 unicidad: si un X tiene dos imagenes es por que entonces esa imagen es la misma.
relacion: es un subconjunto del producto cartesiano entre dos conjuntos A y B siendo A el conjunto de partida(dominio) y B el conjunto de llegada(codominio), luego existe un subconjunto del codominio llamado rango al cual pertenecen todas las imagenes de los valores de partida.
conjunto: es suna agrupacion de elementos.
luego puedes buscar la definicion formal y algebraica de la funcion.