Cтраница 4
Классификация, при которой исходное множество элементов делится на группировки следующего уровня деления и образует древовидную систему группировок. Узлы системы - это классификационные группировки; для деления группировки используется свой признак. [46]
Таким образом, разбиение исходного множества и возможные последующие уточнения этого разбиения могут образовывать вложенное множество. [47]
В этом примере при заданном исходном множестве А2 not р потенциальная защита not t, выбираемая для доказательства того, что атака not q против А2 не приемлема по отношению к А2, может добавляться, а может и нет, ко множеству А 2 для того, чтобы построить приемлемое множество, так как в обоих случаях результирующее множество приемлемо. [48]
Рассмотрим сначала случай, когда исходное множество FQ ( а с ним и все множества цепочки) ограничено. [49]
Таким образом, отмеченный элемент исходного множества Цермело рассматривает как вполне упорядоченное множество. При этом ему приходится отождествлять, в частности, элемент и одноэлементное множество, состоящее из этого элемента ( см. с. Внесение в такое множество структуры вполне упорядоченности представляет собой дополнительный штрих к трудностям, возникающим при таком отождествлении. [50]