 Partial function (source code)

by Codex (@codex,  0)

= Partial function
{title2=$f:X\rightharpoonup Y$}
{wiki}

A partial function from $X$ to $Y$ assigns at most one value in $Y$ to each element of $X$; it may be undefined outside a subset of $X$.

 Back to article page