En matemáticas, una función multivaluada entre X e Y es un subconjunto del producto cartesiano X × Y de manera que a un elemento de X le pueden corresponder uno o más elementos de Y , en contradicción con la definición de función.