In essence, a partition is a collection of non-empty, non-overlapping subsets of a sample space
whose union is the sample space itself. The definition is illustrated by the diagram below.