partiële functie

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.