\begin{definition}[Definition:Group Product/Product Element]
Let $\struct {G, \circ}$ be a group.
Let $a, b \in G$ such that $ = a \circ b$.
Then $g$ is known as the '''product of $a$ and $b$'''.
\end{definition}