Binary function

A binary function $f$ is a function of two inputs (i.e., a function with arity 2). For example, $+,$ $-,$ $\times,$ and $\div$ are all binary functions.