\begin{definition}[Definition:Operation/Binary Operation/Prefix Notation]
Let $\circ: S \times T \to U$ be a binary operation.
The convention that places the symbol for the operation before the two operands:
:$z = \map \circ {x, y}$
is called '''prefix notation'''.
\end{definition}