Definice: Mějme množinu a , pak definujeme množinu všech podmnožin velikosti jako

Definice: Kombinační číslo ([zobecněné](mff_statnice/combinatorics/Zobecněná binomická věta)) pro , kde je

Věta: Pro množinu a číslo platí . Důkaz: Počet uspořádaných -tic prvků z je stejný jako počet prostých funkcí (tedy -prvkových množin), kterých je krát jako počet permutací těch prvků.

Vlastnosti:

  1. Počet prázdných podmnožin počet podmnožin se stejným počtem prvků jako původní množina.
  2. Počet jednoprvkových podmnožin tedy stejně jako těch kde jeden prvek chybí.
  3. Počet všech podmnožin je , protože je to jako -bitové číslo pro jednu podmnožinu rozhodujíc, zda prvek patří či ne do podmnožiny.
  4. -prvková podmnožina buď obsahuje nebo neobsahuje daný prvek, tedy máme zbytek míst a buď jedno místo zabrané či ne, jinak zapsáno

Binomická věta

Věta:

Důkaz: Jedná se jen o součty součinů, kde se ze závorek vybírá nebo . nám určuje to že máme závorek a musíme vybrat z každé jedno či druhé a binomický člen nám udává kolika způsoby to tak jde.