Partitions

A partition of a Set S={C1,C2,,CN}S=\{C_1,C_2,…,C_N\} is a way of splitting SS into

  1. disjoint subsets
CαCβ=αβ C_\alpha \cap C_\beta = \emptyset \quad \forall \quad \alpha \neq \beta
  1. that cover SS
α=1NCα=S \bigcup_{\alpha=1}^N C_\alpha = S