The SlugMath Wiki is under heavy development!

# Def/Binary operation

Definition of Binary operation: Suppose that $S$ is a set. A binary opertaion on $S$ is a function, from the Cartesian product $S \times S$ to $S$.

Rarely, one uses a letter, such as $f \colon S \times S \rightarrow S$, to denote a binary operation, and traditional notation $f(s_1, s_2)$ for the output of the function $f$ after the input $(s_1, s_2)$.

Most commonly an operation symbol, such as "$\circ$", "$+$", or "$\cdot$" is used to denote the function from $S \times S$ to $S$, and, for example, $s_1 + s_2$ is used to denote the output of the function "$+$" after the input $(s_1, s_2)$.

## Logical Connections

This definition logically relies on the following definitions and statements: Def/Cartesian product, Def/Rooted ordered binary tree, Def/Recursion

The following statements and definitions logically rely on the material of this page: Def/Commutative, Def/Commute, Def/Diophantine equation, Def/Distributive, Def/Group, Def/Monoid, Def/Ring, and Def/Vector space

To visualize the logical connections between this definition and other items of mathematical knowledge, you can visit any of the following clusters, and click the "Visualize" tab: Clust/Operations