**binary function** (*plural* **binary functions**)

- (mathematics) a function of the type $f:V\times V\rightarrow V$ , or more generally, a function of the type $f:U_{1}\times U_{2}\times ...\times U_{n}\rightarrow V$ in which exactly two of the sets
*U*are equal to_{i}*V*.