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