title: "Partition"

Partition

Definition. A partition of a set $A$ is a collection of nonempty subsets of $A$ such that every element of $A$ belongs to exactly one of them.

The distinct classes of an Equivalence Relation always form a partition (Lecture 2, Example 11), and choosing the right partition is the setup step in many pigeonhole arguments.