A partition divides a larger set into discrete chunks:
A partition of a set is a collection of subsets such that is the disjoint union of the partion. naïve
Every partition induces an Equivalence relation,
where each chunk is taken as an equivalence class.