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.