В комбинаторикесочетанием из <math>n</math> по <math>k</math> называется набор из <math>k</math> элементов, выбранных из <math>n</math>-элементного множества, в котором не учитывается порядок элементов.
Соответственно, сочетания, отличающиеся только порядком следования элементов (но не составом), считаются одинаковыми — этим сочетания отличаются от размещений. Так, например, 3-элементные сочетания 2 и 3 ((нестрогие) подмножества, для которых <math>k=3</math>) из 6-элементного множества 1 (<math>n=6</math>) являются одинаковыми (в то время как размещения были бы разными) и состоят из одних и тех же элементов 1.
В общем случае число всех возможных <math>k</math>-элементных подмножеств <math>n</math>-элементного множества стоит на пересечении <math>k</math>-й диагонали и <math>n</math>-й строки треугольника Паскаля.[1]
При фиксированном <math>n</math> производящей функцией последовательности чисел сочетаний <math>\tbinom{n}{0}</math>, <math>\tbinom{n}{1}</math>, <math>\tbinom{n}{2}</math>, … является
Сочетанием с повторениями из <math>n</math> по <math>k</math> называется такой <math>k</math>-элементный набор из <math>n</math>-элементного множества, в котором каждый элемент может участвовать несколько раз, но в котором порядок не учитывается (мультимножество). В частности, число монотонных неубывающих функций из множества <math>\{1,2,\dots,k\}</math> в множество <math>\{1,2,\dots,n\}</math> равно числу сочетаний с повторениями из <math>n</math> по <math>k</math>.
Число сочетаний с повторениями из <math>n</math> по <math>k</math> равно: