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