Uma função é uma relação entre dois conjuntos não vazios onde cada elemento do primeiro conjunto é associado a exatamente um elemento do segundo conjunto. Um exemplo é uma função f que mapeia os elementos do conjunto A={1,4,7} para o conjunto B={1,4,6,7,8,9,12} de acordo com a regra f(x)=x+5.