Генерация k-элементных подмножеств
В комбинаторике подобные подмножества определяются как сочетания из... Порядок подмножеств считается лексикографическим, если для любой пары подмножеств выполняется требование... В качестве первого компонента подмножества можно выбрать любые компоненты, то есть с самого первого и... начального множества должно войти в определяемое подмножество, что означает необходимость выполнения... перебора всего набора подмножеств.
Определены подмножества и подмультимножества без универсума и другие общие понятия (включение, собственное включение, максимальное включение, диаграмма Хассе, сравнимости, булеан). Приведены некоторые теоремы.
Топологическое пространство называется паранормальным, если любая счетная дискретная система замкнутых множеств {Dn:n=1,2,3,…} может быть расширена до локально конечной системы открытых множеств {Un:n=1,2,3,…}, т.е. Dn содержится в Un при всех n, и при этом Dm∩Un≠∅ в том и только в том случае, когда Dm=Dn. Доказывается, что если X – счетно-компактное пространство, куб которого наследственно паранормален, то пространство X метризуемо.
[Automated Information Retrieval System] — комплекс программных, логических и лингвистических средств, предназначенных для поиска и отбора по заданным в цифровой форме признакам документов и данных, хранимых на машиночитаемых носителях обычно в виде баз данных или наборов файлов.