В чём заключается теорема Спернера?

Теорема Спернера в дискретной математике описывает максимально возможные семейства конечных множеств, ни одно из которых не содержит других множеств в семействе. en.wikipedia.org

Формально теорема утверждает, что для каждого семейства Спернера, объединение которого содержит в общей сложности n элементов, количество множеств в этом семействе не может превышать определённое значение. en.wikipedia.org en.m.wikipedia.org

Например, если в n-элементном множестве выбрано несколько подмножеств так, что ни одно из них не содержится ни в каком другом, то этих подмножеств не более Cn⌊n/2⌋. math.mosolymp.ru

Теорема названа в честь Эмануэля Спернера, который опубликовал её в 1928 году. en.wikipedia.org