Full Idea
A 'partial function' is one which maps only some elements of a domain to elements in another set. For example, the reciprocal function 1/x is not defined for x=0.
Gist of Idea
A 'partial function' maps only some elements to another set
Source
Peter Smith (Intro to Gödel's Theorems [2007], 02.1 n1)
Book Reference
Smith,Peter: 'An Introduction to Gödel's Theorems' [CUP 2007], p.8
Related Idea
Idea 13811 A 'total' function ranges over the whole domain, a 'partial' function over appropriate inputs [Bostock]