Relação e função
Dado dois conjuntos não vazios A e B e uma relação que associa elementos de A em B, dizemos que esta relação é uma função se todo elemento x do conjunto A está associado a um único elemento y do conjunto B.
Dado dois conjuntos A e B, uma relação que liga cada elemento x de A a um, e somente um, elemento de B recebe o nome de função de A em B.
