Return to Glossary.
Formal Definition
A partition of a set $S$ is a collection of nonempty subsets of $S$ such that every element of $S$ is in exactly one of the subsets. The subsets are the cells of the partition.
Informal Definition
A partition of a set $S$ is the collection of nonempty subsets of $S$ that contain all elements of the original set exactly once.
Example(s)
Splitting $\mathbb{Z}^+$ into the subset of even positive integers (those divisible by 2) and the subset of odd positive integers (those leaving a remainder of 1 when divided by 2), we obtain a partition of $\mathbb{Z}^+$ into two cells.
Non-example(s)
Splitting the set $S=\{2, 6, 9\}$ into the subset of integers divisible by 2 and integers divisible by 3 yields: $\{2,6\}, \{6,9\}$. The element $6$ appears twice, therefore this is not a partition of $S$.
Additional Comments
Add any other comments you have about the term here