Ogni volta che eseguiamo un esperimento aleatorio (un esperimento il cui risultato non è prevedibile con certezza) possiamo elencare tutti gli esiti possibili: il loro insieme è lo spazio campione . Un evento è un sottoinsieme di , e a ciascun evento associamo una probabilità compresa tra e . Quando un gruppo di eventi copre tutto senza sovrapporsi, parliamo di partizione: uno e uno solo di essi si verifica.