Beyond the defining formula nCr=r!(n−r)!n!, a handful of algebraic properties of combinations make many otherwise-heavy computations short and elegant, and this chapter uses them repeatedly. The complement property, nCr=nCn−r, reflects the fact that choosing which r objects to INCLUDE is equivalent to choosing which n−r objects to LEAVE OUT — so it is always worth switching to whichever of r or n−r is smaller before expanding a computation by hand, and it is also the tool behind solving equations of the form nCx=nCy, whose only two possibilities are x=y or x+y=n. Pascal's Rule, nCr+nCr−1=n+1Cr, expresses how a triangle of combinations builds upward, and is proved by combining the two combination-fractions over a common denominator; it is invaluable for telescoping a running SUM of adjacent combinations down to a single binomial coefficient, and — read in reverse — for collapsing a DIFFERENCE of combinations sharing the same lower index. The identity nCr=r!nPr directly ties combinations back to permutations, and is often the fastest route through a 'find n and r given both nPr and nCr' problem (since dividing one by the other isolates r!, hence r, immediately). Finally, nC0+nC1+⋯+nCn=2n (the total number of subsets of an n-element set, including the empty set), and nCr is greatest at the middle value r=n/2 when n is even, or at either of the two equal middle values r=2n−1 and r=2n+1 when n is odd — a fact used whenever a problem asks for the 'greatest value' of a binomial coefficient family.