The rule of sum is an intuitive principle stating that if there are a possible outcomes for an event and b possible outcomes for another event, and the two events cannot both occur, then there are a + b total possible outcomes for the events. More formally, the sum of the sizes of two disjoint sets is equal to the size of their union.
Rule of product
The rule of product is another intuitive principle stating that if there are a ways to do something and b ways to do another thing, then there are a · b ways to do both things.
Inclusion–exclusion principle
The inclusion–exclusion principle relates the size of the union of multiple sets, the size of each set, and the size of each possible intersection of the sets. The smallest example is when there are two sets: the number of elements in the union of A and B is equal to the sum of the number of elements in A and B, minus the number of elements in their intersection. Generally, according to this principle, if A1,..., An are finite sets, then
Rule of division
States that there are n/d ways to do a task if it can be done using a procedure that can be carried out in n ways, and for every way w, exactly d of the n ways correspond to way w.
Bijective proof
Bijective proofs prove that two sets have the same number of elements by finding a bijective function from one set to the other.
Double counting is a technique that equates two expressions that count the size of a set in two ways.
Pigeonhole principle
The pigeonhole principle states that if a items are each put into one of b boxes, where a > b, then one of the boxes contains more than one item. Using this one can, for example, demonstrate the existence of some element in a set with some specific properties.
The method of distinguished element singles out a "distinguished element" of a set to prove some result.
Generating function
Generating functions can be thought of as polynomials with infinitely many terms whose coefficients correspond to terms of a sequence. This new representation of the sequence opens up new methods for finding identities and closed forms pertaining to certain sequences. The generating function of a sequence an is
Recurrence relation
A recurrence relation defines each term of a sequence in terms of the preceding terms. Recurrence relations may lead to previously unknown properties of a sequence, but generally closed-form expressions for the terms of a sequence are more desired.