Definition:Operation/Binary Operation/Infix Notation

From ProofWiki
Jump to navigation Jump to search

Notation

Let $S, T, U$ be sets.

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

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Operation/Binary_Operation/Infix_Notation&oldid=646557"