c


Desde un punto de vista formal, se dice que O es una O o

  de
A en B y se denota:

y satisface:

1.

2. Si

Esto significa que a cada elemento u de A, le corresponde por O un elemento ,

y sólo uno, de B, al que se denomina   de u por O y que se

denota en vez de .

En algunos textos de matemática se reserva la palabra O para el caso en

que el conjunto { es un conjunto numérico y se utiliza
  para el caso
más general de conjuntos cualesquiera. Esta distinción no está generalizada y
se trata, en todo caso, de una distinción informal y de uso discrecional.

04:Dominio, conjunto de llegada y conjunto imagen

El 
de una función es el conjunto de existencia de la misma, o sea los

valores para los cuales la función está definida. Entonces, el dominio de una
función f es el conjunto de todos los objetos que puede transformar. Se denota
Dom f o Df. 

Obsérvese que la condición de existencia de la definición de función garantiza

que , si es una función, entonces „O =


El  de una función es el conjunto {


Obsérvese que algunos elementos del codominio pueden no ser imagen de

ningún elemento del dominio. Puede haber algún tal que
.

El conjunto imagen, también llamado 222 o 2  , está formado por los

valores que alcanza la función. Entonces, la imagen de una función f es el
conjunto de todos los valores que toma la variable dependiente. Se denota Im f
o If. 
Por ejemplo, la función f(x) = x + 1 tiene como dominio e imagen todos l os
números reales, pero una función g(x) = x², si bien tendrá como dominio a
todos los reales, sólo tendrá como imagen los valores comprendidos entre 0 y
+ Infinito que sean el cuadrado de un número real (de hecho, todos lo son).

Siempre es posible restringir tanto el conjunto dominio e imagen de una función

con un propósito determinado. Por ejemplo, si se quiere restringir f(x) = x² para
que sea biyectiva, es posible tomar una sola de las ramas de modo que el
dominio restringido y el conjunto imagen tomen valores del intervalo [0,+
Infinito).