finite function
a finite function is one whose domain and codomain are finite sets. finite functions can be completely defined by tables of pairs 
, where 
is an element of its domain and 
is the corresponding element of its codomain.
[cite:;taken from @computation_savage_1998 chapter 1.2.7 functions]
, where is an element of its domain and is the corresponding element of its codomain.[cite:;taken from @computation_savage_1998 chapter 1.2.7 functions]