The SlugMath Wiki is under heavy development!
Definition of Partition: Suppose that $X$ is a set. A partition of $X$ is a set $I$ of subsets of $X$ (in other words, an element $I \in P(P(X))$, which satisfies the following property:
- For all $x \in X$, there exists a unique $i \in I$, such that $x \in i$.
A partition "breaks up" a set $X$ into disjoint pieces.
This definition logically relies on the following definitions and statements:
To visualize the logical connections between this definition and other items of mathematical knowledge, you can visit any of the following clusters, and click the "Visualize" tab: Clust/Basic set theory