Полная группа событий

Теорема. Сумма вероятностей событий, образующих полную группу равна единице: .

Доказательство. Т.к. появление одного из событий полной группы достоверно, а вероятность достоверного события равна 1, то . Любые два события полной группы несовместны, поэтому можно применить теорему сложения: .