直和分割
集合
$ S
とその部分集合族
$ \mathcal{M}
が下記を満たすとする。
(1)
$ S = \bigcup \mathcal{M}
(2)
$ C, C' \in \mathcal{M}; C \ne C' \Rightarrow C \cap C' = \emptyset
このとき、
$ \mathcal{M}
は
$ S
の
直和分割
であるという。