\begin{definition}[Definition:Set Partition/Definition 2]
Let $S$ be a set.
A '''partition''' of $S$ is a set of non-empty subsets $\Bbb S$ of $S$ such that each element of $S$ lies in exactly one element of $\Bbb S$.
\end{definition}