[subset] — множество, являющееся частью другого множества.
Генерация k-элементных подмножеств
В комбинаторике подобные подмножества определяются как сочетания из...
Порядок подмножеств считается лексикографическим, если для любой пары подмножеств выполняется требование...
В качестве первого компонента подмножества можно выбрать любые компоненты, то есть с самого первого и...
начального множества должно войти в определяемое подмножество, что означает необходимость выполнения...
перебора всего набора подмножеств.
Определены подмножества и подмультимножества без универсума и другие общие понятия (включение, собственное включение, максимальное включение, диаграмма Хассе, сравнимости, булеан). Приведены некоторые теоремы.
Параметры электронного средства можно представить в виде объединения подмножеств в следующем виде:
$У...
= Уэл + Укин + Угеом + Урад…$
где:
Уэл - подмножество электрических параметров электронного средства...
;
Укин - подмножество кинетических параметров электронного средства;
Угеом - подмножество геометрических...
параметров электронного средства;
Урад - подмножество радиационных параметров электронного средства
Топологическое пространство называется паранормальным, если любая счетная дискретная система замкнутых множеств {Dn:n=1,2,3,…} может быть расширена до локально конечной системы открытых множеств {Un:n=1,2,3,…}, т.е. Dn содержится в Un при всех n, и при этом Dm∩Un≠∅ в том и только в том случае, когда Dm=Dn. Доказывается, что если X – счетно-компактное пространство, куб которого наследственно паранормален, то пространство X метризуемо.
[active record] 1. Запись данных, с которой в данный момент работает оператор при вводе данных или пользователь в результате выполнения программно-техническими средствами поиска необходимых данных (файла) и вывода их на экран монитора (дисплей ЭВМ). 2. Запись файла, к которой обращается программа в процессе работы с нею.
[bibliographic search/retrieval] — вид информационного поиска по массивам библиографических описаний документов.
(Hypertext Transfer Protocol) Базовый протокол веб, используется для коммуникации между браузерами и веб-сайтами.
