1) Defines variables and formulas for binomial distribution parameters. 2) Indicates probability of success on a single trial. 3) Expresses probability of k successes in n trials using binomial coefficients. 4) Sums probabilities over all possible values of k to equal 1.