eine Abbildung, bei der zu einem Urbild mehrere Bilder gehören können.

Es seien M und N Mengen. Dann heißt eine Teilmenge F ⊂ M × N eine mehrdeutige Funktion aus M in N. Ist x ∈ M, so versteht man unter F(x) die Menge \begin{eqnarray}\{y\in N|(x,y)\in F\}.\end{eqnarray}

Anstelle von (x, y) ∈ F kann man dann auch y ∈ F(x) schreiben.