Partizione dell’evento certo

Data una famiglia di eventi non impossibili, questa costituisce una partizione dell’evento certo () se valgono le seguenti proprietà:

  1. Solo uno degli eventi può essere vero: .
  2. Eventi a due a due incompatibili se quindi se ogni intersezione tra due eventi è un evento impossibile: .