funzione parziale

In matematica, si dice funzione parziale un sottoinsieme di , cioè una relazione binaria tra e , tale che: * (unicità) ossia esiste al più un tale che . È importante notare come non si richiede che la funzione sia definita ovunque, cioè che per ogni in sia per un in . Per contrapposizione, una funzione parziale definita su ogni elemento del dominio (cioè una funzione nel senso comune del termine) è detta totale. Un esempio di funzione parziale è dall'insieme dei numeri naturali in sé stesso, in quanto è un numero naturale solo se è un quadrato perfetto.