\begin{definition}[Definition:Operation Induced by Direct Product]
Let $\struct {S_1, \circ_1}$ and $\struct {S_2, \circ_2}$ be algebraic structures.
Let $S = S_1 \times S_2$ be the cartesian product of $S_1$ and $S_2$.
Then the '''operation induced on $S$ by $\circ_1$ and $\circ_2$''' is the operation $\circ$ defined as:
:$\tuple {s_1, s_2} \circ \tuple {t_1, t_2} := \tuple {s_1 \circ_1 t_1, s_2 \circ_2 t_2}$
for all ordered pairs in $S$.
\end{definition}