Definition:Operation/Binary Operation/Prefix Notation

Definition
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.

Also see

 * Definition:Polish Notation