Exercício 17. Uma aplicação f de E em F é chamada de sobrejetora se todo elemento de F for a imagem por f de, pelo menos, um elemento de E .
Passo 1
O enunciado pede a definição de função sobrejetora (ou sobrejetiva). O conteúdo é teoria de funções entre conjuntos e vamos usar a lógica de quantificadores para formalizar a definição.
Passo 2
Uma função
é sobrejetora exatamente quando todo elemento de
aparece como imagem de algum elemento de
. Em linguagem de quantificadores, isso significa:
Resposta
A aplicação
é sobrejetora se, e somente se,