Sejam dois conjuntos não vazios , uma relação  de  recebe o nome de função (ou aplicação) de  se, e somente se, para todo  existir um só  , tal que . As seguintes notações são utilizadas:

Isto significa que uma função é um conjunto de pares ordenados, determinados por uma sentença , que expressa uma correspondência