Binary function

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