\begin{definition}[Definition:Operation/Binary Operation/Product/Left]
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$.
\end{definition}