Definition:Set Partition/Definition 2

Definition
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$.

Also see

 * Equivalence of Definitions of Set Partition