A) Dados dois conjuntos , não vazios, uma relação f de A em B recebe o nome de aplicação de A em B ou função definida em A com imagens em B se, e somente se, para todo existe um só tal que .
B) Dados dois conjuntos , vazios, uma relação f de A em B recebe o nome de aplicação de A em B ou função definida em A com imagens em B se, e somente se, para todo existe um só tal que .
C) Dados dois conjuntos , não vazios, uma relação f de A em B recebe o nome de aplicação de A em B ou função definida em A com imagens em B se, e somente se, existe para todo um só tal que .
D) Dados dois conjuntos , não vazios, uma relação f de A em B recebe o nome de aplicação de A em B ou função definida em A com imagens em B se, e somente se, para todo existem tal que .
