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