Category:Definitions/Binary Operations

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Binary Operations.

A binary operation is the special case of an operation where the operation has exactly two operands.

A binary operation is a mapping $\circ$ from the Cartesian product of two sets $S \times T$ to a universe $\mathbb U$:

$\circ: S \times T \to \mathbb U: \map \circ {s, t} = y \in \mathbb U$

If $S = T$, then $\circ$ can be referred to as a binary operation on $S$.

Pages in category "Definitions/Binary Operations"

The following 3 pages are in this category, out of 3 total.