Στενά συνδεδεμένα με την έννοια της δεσμευμένης πιθανότητας είναι το Θεώρημα Ολικής Πιθανότητας.
Υποθέτουμε ότι
είναι
ξένα
ανά δύο ενδεχόμενα των οποίων η ένωση ισούται με το
,
είναι δηλαδή μια
διαμέριση, όπως λέγεται, του
. Υποθέτουμε επίσης
ότι είναι γνωστές οι πιθανότητες
και
για
. Τότε αν Β είναι ένα ενδεχόμενο
του
, ποια είναι η
; Για να λύσουμε αυτό το
πρόβλημα παρατηρούμε ότι αφού τα
είναι μια διαμέριση του
,
θα είναι