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.