Programa que a partir de uma dada relação, diz que tipo de função é.