Cho không gian mẫu Ω và A₁, A₂, …. A_n, B là các biến cố.

Các biến cố A₁, A₂, …. A_n được gọi là một hệ biến cố đầy đủ nếu chúng thỏa mãn 2 điều kiện:

A1∪A2∪...∪An=Ω

Ai∩Aj=∅ với mọi i ≠ j và i, j ∈ {1, 2, …,n}

Khi đó ta có:

P(B)=∑i=1nP(Ai)P(B/Ai)

Các xác suất P(A₁); P(A₂);…; P(A_n) thường được gọi là các xác suất của các giả thiết (hay các xác suất tiên nghiệm) và công thức trên được gọi là công thức xác suất đầy đủ.