partial function

noun1

1. •
   A function whose domain is a subset of the set on which it is formally defined; i.e., a function f: X→Y for which values f(x) are defined only for x ∈ W, where W ⊆ X.

   • The Church-Turing thesis applies to partial functions on the same grounds as to total functions (§ 41). — 1967