Definition Probability of an Empty Event Let be a probability space. From the Kolmogorov axioms, it follows that