Колодец-квазиупорядочение

Хорошо организованный квазиупорядоченный Wqo — это упорядоченное множество, в котором каждое подмножество имеет наименьший элемент.  Wqo является обобщением частичных порядков […]

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

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

Полный текст статьи:

Колодец-квазиупорядочение — Википедия

Оставьте комментарий

Прокрутить вверх