# binary function

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