- множество Rмощности т, являющееся различных представителей системой для каждого из tсемейств подмножеств заданного множества S, каждое из к-рых состоитиз тчленов. <пусть>пусть>t=2, m конечно,. О. п. с. для F1 и F2 существует тогда и только тогда, когда никакие киз множеств семейства F1 не содержатся менее чем в кмножествах из F2 для каждого k=1,2, . . ., т. Эта теорема справедлива также при бесконечном т, если только все подмножества семейств F1 и F2 конечны. Известны условия существования О. п. с. при t>2, к-рые формулируются более сложно.
Лит.:[1] Холл М., Комбинаторика, пер. с англ., М., 1970.
В. Е. Тараканов