Relaciones y funciones

Producto cartesiano
Si A y B son conjuntos, el producto cartesiano de A y B se define como el conjunto:
A x B = {(a, b) / a ⋲ A, b⋲B}
Por ejemplo:
Si A= {1, 2, 3} y B= {a, b}
A x B= {(1,a), (1,b), (2,a), (2,b), (3,a), (3,b)}

Relación: Una relación es una asociación entre los elementos de dos conjuntos. Al
primer conjunto lo llamamos dominio y al segundo conjunto lo llamamos codominio.
Codominio de una relación es el conjunto B. Imagen de una relación es un subconjunto del
codominio formado por todas las imágenes de los elementos del dominio. Si no se
especifica el codominio, lo consideramos igual al conjunto imagen.

Concepto de función
Una función es una relación que cumple con que: cada uno de los elementos del dominio está
relacionado con un y sólo un elemento del codominio.
Si el dominio y codominio de nuestra función son conjuntos de números reales, la función
se dice real. Decimos que una función real es una relación que asigna, a cada x de un
conjunto real, un valor único. A la variable x se la llama variable independiente. Si y= f (x),
llamamos a la variable y, variable dependiente (porque sus valores dependen de los
valores de x).