Хорошо организованный квазиупорядоченный

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