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

Sources

• 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): Appendix $\text{A}.8$: Cartesian Product
• 2009: Kenneth Kunen: The Foundations of Mathematics ... (next): $\text {II}.4$ Polish Notation