2.2.1 Definición y elementos

Una función f de X a Y es una relación de X a Y que posee las siguientes propiedades:

     1.-  El dominio de f es X.

     2.-  Si (x,y),(x,) ϵ f entonces y=

Una función f de X a Y se denota algunas veces por f: Xà Y.

Ejemplo.

La relación R={(1,a),(2,b),(3,a)} de X={1,2,3} a Y={a,b,c} es una función de X a Y. el dominio de f es X y el contradominio de f es {a,b}.

Entonces, dada una función f de X a Y, para cada elemento x del dominio X existe exactamente un y ϵ Y con (x, y) ϵ f. este único valor y se denota por f(x).

En otras palabras, y=f(x) es otra manera de expresar que (x, y) ϵ f. entonces, la función del ejemplo puede escribirse como:

f (1)=a

F (2)=b

f (3)=a