Предварительный заказ
- Предварительное упорядочивание — свойство класса pointclass, определяющее порядок элементов.
- Свойство сокращения позволяет разделить набор элементов на непересекающиеся подмножества.
- Свойство разделения позволяет найти борелевское подмножество, включающее один набор элементов и не пересекающееся с другим.
- Градуированный набор позиций аналогичен предварительному упорядочиванию с нормой, заменяющей отображение ординалов отображением натуральных чисел.
- Свойство масштаба отображает описания викиданных в качестве запасного варианта.
Полный текст статьи: