math Definition Partial Function A partial function f:A→B is a function that may be undefined for some inputs in A. Formally, there exists a subset dom(f)⊆A such that: ∀a∈dom(f):∃!b∈B:f(a)=b ∀a∈dom(f):f(a) is undefined