Definition:Infix Notation

Definition

Binary Relations

Let $\RR \subseteq S \times T$ be a binary relation.

When $\tuple {s, t} \in \RR$, we can write either:

$\map \RR {s, t}$

or

$s \mathrel \RR t$

The notation $s \mathrel \RR t$ is known as infix notation.

Binary Operations

Let $\circ: S \times T \to U$ be a binary operation.

When $\map \circ {x, y} = z$, it is common to put the symbol for the operation between the two operands:

$z = x \circ y$

This convention is called infix notation.

Sources

• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): infix notation