conjunto de chegada

Em matemática, o contradomínio (português brasileiro) ou contradomínio, ou conjunto de chegada (português europeu) de uma função é o conjunto que contém todas as imagens (ou saídas, ou elementos dependentes) possíveis para a função. Assim, se o conjunto B é o contradomínio de uma função f, todos os valores de f(x) devem pertencer a B. Na notação , o conjunto Y é o contradomínio (conjunto de chegada) da função g e é igual ou contém a imagem da função. O contradomínio de uma função f também é chamado de codomínio e abreviado como CD(f). O contradomínio é parte de uma função f se ela for definida como descrito em 1954 por Nicolas Bourbaki, a saber, como uma tripla (X, Y, F), em que F é um conjunto funcional do produto cartesiano X × Y e X é o conjunto de primeiras componentes dos pares em F (o domínio). O conjunto F é chamado de gráfico da função. O conjunto de todos os elementos da forma f(x), em que x percorre todos os elementos do domínio X, é chamado de imagem de f. Em geral, a imagem de uma função é um subconjunto de seu codomínio. Assim, ela pode não coincidir com o contradomínio. De fato, uma função que não é sobrejetiva tem elementos y em seu contradomínio para os quais a equação f(x) = y não possui qualquer solução.