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:
- Počet prázdných podmnožin počet podmnožin se stejným počtem prvků jako původní množina.
- Počet jednoprvkových podmnožin tedy stejně jako těch kde jeden prvek chybí.
- 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.
- -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.