\begin{definition}[Definition:Cartesian Product/Factors]
Let $S$ and $T$ be sets.
Let $S \times T$ be the cartesian product of $S$ and $T$.
Then the sets $S$ and $T$ are called the '''factors''' of $S \times T$.
\end{definition}