Una partizione è una famiglia di eventi che non si
possono verificare contemporaneamente e fra i
quali almeno uno si deve verificare.
In formule: