A Partial Function A ⇀ B ⇀ 𝐴 𝐵 A\rightharpoonup B is finitely supported if it is only defined on a Finite set of inputs.