Disjoint events (source code)

= Disjoint events
{title2=$E\cap F=\varnothing$}

= Mutually exclusive events
{synonym}

Two <events> are disjoint when they cannot both occur. For a finite family of pairwise disjoint events, the probability of their union is the sum of their probabilities, so that sum is at most one. This condition differs from the condition defining <independent events>.