$\{H_k\}$ partitions $\Omega$ if and only if
1. $\bigcup\limits_{k} H_k = \Omega$
2. $H_i \cup H_j = \phi$ if $i \neq j$