Definição Matemática de função - Como uma função é um tipo especial de relação, define-se FUNÇÃO:
Sejam A e B dois conjuntos não vazios e f uma relação de A em B. Essa relação f é uma função de A em B quando a cada elemento x do conjunto A está associado em e apenas um elemento y do conjunto B.