noun Mathematics. the theorem that the probability of several events occurring is less than or equal to the sum of the probabilities of each event occurring.