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 waarwaarbij, anders dan een bij 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>die deaan een [[Geheelgeheel getal|gehele getallen]] behalve 0,aan dus <math>Z\backslash\{0\}</math>, <u>in</u> deeen [[Rationaalrationaal getal|rationale getallen]], <math>Q</math>toekent, maar is het een partiëlegeen functie van ''alle'' gehele getallen, en daarom slechts een partiële functie.