Partition

${H_k}$ is a partition means

$H_1 \cap H_j = \emptyset, \forall i \neq j$

$\cup_{k=1}^{n} A_k = \Omega$