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. #m/def/set/naïve
Every partition induces an Equivalence relation,
where each chunk is taken as an equivalence class.