Dado dois conjuntos A e B, uma relação f de A em B é chamada de função se, e somente se: cada elemento de A possui uma, e só um, imagem.

Em outras palavras, temos:

1. Cada elemento de A possui imagem.
2. Um elemento de A não pode ter mais de uma imagem.