função multivalorada

Em matemática, uma função multivalorada (forma abreviada: multifunção; outros nomes: função polivalente, função de conjunto valorizado, mapa de conjunto valorizado, mapa ponto para conjunto, mapa multi-valorada, multi-mapa, correspondência, portadora, multívoca, polídroma, multiaplicação) é uma relação binária (isto é, cada entrada é associada com pelo menos uma saída) em que pelo menos uma entrada é associada a várias (duas ou mais) saídas. Note que uma relação binária é uma função multivalorada se e somente se é uma relação total. Note também que toda função é multivalorada. Outra forma de entender este conceito é como uma função que toma vários valores em B para cada ponto de A. Uma função multivalorada de A em B pode ser representada por uma função de A no conjunto de partes de B, isto é, cada elemento de A é associado a um subconjunto não vazio de B. No exemplo abaixo, a função representa os elementos do codomínio aos quais cada elemento do domínio é relacionado pela multifunção . Toda valoração de será um conjunto não-nulo.