Partiële functie: verschil tussen versies

Een ''partiële functie'' <math>f</math> is een [[tweeplaatsige relatie]] tussen de verzamelingen <math>X</math> en <math>Y</math> die beperkt tot de deelverzamelinbgdeelverzameling <math>D\subseteq X</math> met elementen <math>d</math> waarvoor <math>f(d)\in Y</math>, dus waarvoor <math>f</math> gedefinieerd is, een functie is.