Definition:Operation/Binary Operation/Product/Left

From ProofWiki
Jump to navigation Jump to search

Definition

Let $x$ and $y$ be elements which are operated on by a given operation $\circ$.

The left-hand product of $x$ by $y$ is the product $y \circ x$.


Sources