collectively exhaustive events

A set of events is collectively exhaustive if at least one outcome must occur.

Formally,
a set of events $A_1,\dots ,A_n$ is collectively exhaustive if

where $\mathrm{\Omega }$ is the sample space (the set of all outcomes)