Если H₁, H₂, …, Hₙ — полная группа попарно несовместных событий, то для любого события A имеет место формула … вероятности: P(A) = P(H₁)P(A|H₁) + … + P(Hₙ)P(A|Hₙ).