Partiële functie: verschil tussen versies

In de [[wiskunde]] is een '''partiële functie''' een [[Relatie (wiskunde)|relatie]] tussen twee [[Verzameling (wiskunde)|verzamelingen]] <math>X</math> en <math>Y</math> die in ieder geval op een deel van <math>X</math> een [[Functie (wiskunde)|functie]] is, maar niet noodzakelijk voor alle [[Element (wiskunde)|elementen]] gedefinieerd is. Een partiële functie heeft, net als een gewone functie, de eigenschap dat aan ieder origineel <math>x \in X</math> hooguit één [[Beeld (wiskunde)|beeld]] <math>y \in Y</math> wordt toegekend, maar waar, anders dan een gewone functie, niet noodzakelijk ieder element van <math>X</math> als origineel optreedt.

Zo is het [[omgekeerde]] <math>1/x</math> van een getal <math>x</math> wel een functie <u>van</u> de [[Geheel getal|gehele getallen]] behalve 0, dus <math>Z\backslash\{0\}</math>, <u>in</u> de [[Rationaal getal|rationale getallen]], <math>Q</math>, maar het is een partiële functie van ''alle'' gehele getallen.