binary function

binary functions are finite function whose domains and codomains are cartesian products over the binary set .
[cite:;taken from @computation_savage_1998 chapter 1.2.7 functions]