Partiële functie: verschil tussen versies

In de [[wiskunde]] iswordt een '''partiële[[Functie (wiskunde)|functie''']] die op een [[Relatie (wiskunde)Deelverzameling|relatiedeel]] tussenvan tweeeen [[Verzameling (wiskunde)|verzamelingenverzameling]] <math>X</math> engedefinieerd <math>Y</math>is, dieeen in'''partiële ieder gevalfunctie''' op een deel van <math>X</math> eengenoemd. [[FunctieEen partiële (wiskunde)|functie]] is, maar niet noodzakelijk voor alle [[Element (wiskunde)|elementen]] gedefinieerdvan 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 waarbij, anders dan een bij gewone functie, niet noodzakelijk ieder element van <math>X</math> als origineel optreedtgedefinieerd.

Zo is het [[omgekeerde]] <math>1/x</math> van een getal <math>x</math> welniet eengedefinieerd functie dievoor aan0 eenen [[geheeldus getal]]niet behalvevoor aan 0 eenalle [[rationaalGeheel getal|gehele getallen]] toekent, maaren geendaarom slechts een partiële functie vanop ''alle'' gehele getallen, en daarom slechts een partiële functie.