Полная группа подмножеств

Полной группой подмножеств называется конечный набор или счетная последовательность попарно несовместных подмножеств объединение которых достоверно:

В опыте обязательно произойдет одно и только одно из этих событий.

Любые два противоположных подмножества образуют полную группу подмножеств.

Если пространство элементарных исходов конечно или счетно, то сами элементарные исходы являются полной группой подмножеств.