Buenas, tengo pensado dar el final mañana y lo unico que no tengo claro es lo de existencia y unicidad en conjuntos.
Me acuerdo que en clase lo nombraron, pero no lo anote y en internet no lo encuentro.
Alguien se acuerda como era eso? Gracias

Función
Sean A y B dos conjuntos y sea la relación \[A\rightarrow B\], se dice que R es función cuando cumple
simultáneamente con las condiciones de existencia (todos los elementos tienen imagen) y unicidad (esa imagen es única).
R : \[A\rightarrow B\] tal que:
1. \[D_{R}=A\] (cumple con Existencia)
2. Si \[(x;y)\epsilon R \wedge (x;z)\epsilon R \Rightarrow y=z\] (verifica Unicidad)
En este caso, se denota, \[f: A\rightarrow B\].
Recordemos entonces que una función es una clase especial de relación.

Es para funciones entre conjuntos.

Listo, muchas gracias