(PUC) Dizemos que uma Relação entre dois conjuntos A e B é uma função de A em B quando — e apenas quando — todo elemento de
a) B é imagem de algum elemento de A b) B é imagem de um único elemento de A c) A possui somente uma imagem em B d) A possui no mínimo uma imagem de B e) A possui somente uma imagem de B e vice-versa