\begin{definition}[Definition:Product (Category Theory)/General Definition/Finite Product]
Let $\mathbf C$ be a metacategory.
Let $\ds \prod \CC$ be a product for a finite set $\CC$ of objects of $\mathbf C$.
Then $\ds \prod \CC$ is called a '''finite product'''.
\end{definition}