1: \begin{definition}

2: Let $(G,H,\alpha,\beta)$ be a matched pair of left braces. Then, the left brace defined in Theorem \ref{product}

3: is called the matched product of $G$ and $H$. We denote it by $G\bowtie H$. 

4: \end{definition}

5: