Single Idea 10075

[catalogued under 5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic]

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]