In mathematics, a partial function from X to Y is a function ƒ: X' → Y, where X' is a subset of X. It generalizes the concept of a function by not forcing f to map every element of X to an element of Y (only some subset X' of X). If X' = X, then ƒ is called a total function and is equivalent to a function. Partial functions are often used when the exact domain, X', is not known (e.g. many functions in computability theory).
Specifically, we will say that for any x ∈ X, either:
- ƒ(x) = y ∈ Y (it is defined as a single element in Y) or
- ƒ(x) is undefined.
For example we can consider the square root function restricted to the integers
Thus g(n) is only defined for n that are perfect squares (i.e. 0, 1, 4, 9, 16, ...). So, g(25) = 5, but g(26) is undefined.
Read more about Partial Function: Domain of A Partial Function, Total Function, Discussion and Examples
Famous quotes containing the words partial and/or function:
“The one-eyed man will be King in the country of the blind only if he arrives there in full possession of his partial faculties—that is, providing he is perfectly aware of the precise nature of sight and does not confuse it with second sight ... nor with madness.”
—Angela Carter (1940–1992)
“Of all the inhabitants of the inferno, none but Lucifer knows that hell is hell, and the secret function of purgatory is to make of heaven an effective reality.”
—Arnold Bennett (1867–1931)