In de
wiskunde is een
partiële functie een
binaire relatie, die elk
element van een
verzameling, soms het
domein genoemd, associeert met ten hoogste één element van een andere (mogelijk ook dezelfde) verzameling, die het
codomein wordt genoemd. Niet elk element van het domein hoeft echter geassocieerd te zijn met een element uit het codomein.