binary function
a function of the type f:V×V→V, or more generally, a function of the type f:U_1×U_2×...×U_n→V in which exactly two of the sets Uᵢ are equal to V.
Noun
- a function of the type f:V×V→V, or more generally, a function of the type f:U_1×U_2×...×U_n→V in which exactly two of the sets Uᵢ are equal to V.