\begin{definition}[Definition:Parenthesization/Equivalent]
Let $\circ$ be a product defined on a set $S$.
Let $a_1, \ldots, a_n$ denote elements of $S$.
Two parenthesizations of $a_1, \ldots, a_n$ are '''equivalent''' {{iff}} the product defined by them yields the same result.
Category:Definitions/Parenthesization
\end{definition}