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.