Definition

Suppose is a set of mutually and collectively exclusive events, then for any event :