In matematica, si dice funzione parziale f : A → B {\displaystyle f\colon A\rightarrow B} un sottoinsieme di A × B {\displaystyle A\times B}, cioè una relazione binaria tra A {\displaystyle A} e B {\displaystyle B}, tale che:, ∈ f ⇒ b = c {\displaystyle,\in f\Rightarrow b=c} ossia esiste al più un b ∈ B {\displaystyle b\in B} tale che f = b {\displaystyle f=b}. Wikipedia