More specifically, two events formula_1 and formula_2 are called independent (written as formula_3), if the probability of formula_1 occurring is the same whether formula_2 is assumed to have occurred or not. Alternatively, formula_1 and formula_2 are independent precisely when the probability of them occurring together is equal to the product of their individual probabilities.