A collection of Subsets of a Set, which cover (that is their union is the whole set) the set and are Disjoint.

The collection of Equivalence classes of a set with an equivalence relation produces a partition. Furthermore, any partition induces a corresponding Equivalence relation