Binary function

A binary function $f$ has two arguments.

For binary functions, we may write either of:

• $f(x,y)=z$ $+(4,5)=9$
• $xfy=z$ $4+5=9$