Завершение Дедекинда–Макнилла Завершение Дедекинда-Макнейла — наименьшая полная решетка, содержащая частично упорядоченное множество. Определение завершения Дедекинда-Макнейла включает упорядоченное вложение S в […]
Последовательное отношение Последовательное отношение — это однородное отношение, связывающее элементы последовательности. Функция-преемница Пеано является прототипом последовательного отношения. Рассел использовал последовательные
Знакомство с решетками и порядком Введение в решетки и порядок — математический учебник по теории порядка, написанный Брайаном А. Дэйви
Внедрение заказа Вложение порядка — особый вид монотонной функции, позволяющий включить одно частично упорядоченное множество в другое. Вложения порядка представляют
График сопоставимости Графы сопоставимости — это графы, которые имеют транзитивную ориентацию. Графы сопоставимости эквивалентны графам сдерживания семейств множеств. Графы сопоставимости
Финал (математика) Конечное подмножество частично упорядоченного множества является подмножеством с конечным числом элементов. Конечные подмножества могут быть определены с помощью
Топология порядка (функциональный анализ) Топология порядка — это топология, определенная на упорядоченном векторном пространстве. Упорядоченное векторное пространство имеет упорядоченную топологию,
Упорядоченное топологическое векторное пространство Нормальные конусы в топологических векторных пространствах играют важную роль в анализе и геометрии. Нормальные конусы могут
Последовательно-параллельный частичный порядок Последовательно-параллельные частичные порядки являются важным классом частичных порядков с определенными свойствами. Они определяются как непересекающееся объединение элементов
Заказ продукта В математике задается частичный порядок и порядок продуктов на съемочной площадке. Порядок продуктов является частичным порядком о декартовом
Линейное расширение Линейное расширение порядка — это расширение частичного порядка до общего порядка. Линейное расширение может рассматриваться как биекция, сохраняющая
Лексикографический порядок Лексикографический порядок — это общий порядок, который совместим с добавлением. Лексикографический порядок может быть использован для характеристики всех
Лучшее квазиупорядочение В теории упорядочения квазиупорядочение с улучшением (bqo) не допускает определенного типа плохого массива. Каждое лучшее квазиупорядочение является хорошим
Порядок префиксов Префиксное упорядоченное множество обобщает интуицию дерева, представляя непрерывный прогресс и ветвление. Естественный порядок префиксов часто возникает при рассмотрении
Градуированный позитив Градуированные последовательности — это упорядоченные наборы позиций с рангами. Ранги определяют длину максимальных цепочек в наборе. Градуировка эквивалентна
Охватывающее отношение Отношение покрытия в математике используется для графического выражения частичного порядка с помощью диаграммы Хассе. Определение отношения покрытия включает
Теорема о расширении Шпильрайна Теорема о расширении Шпильрайна утверждает, что каждый частичный порядок может быть расширен до полного порядка. Доказательство
Принцип максимума Хаусдорфа Принцип максимума Хаусдорфа является альтернативной формулировкой леммы Цорна, доказанной Феликсом Хаусдорфом в 1914 году. В нем говорится,
Теорема о булевом простом идеале Теорема о булевом простом идеале утверждает, что в булевой алгебре существует достаточное количество простых идеалов.
Состояние восходящей цепочки Условие восходящей цепочки (ACC) и условие нисходящей цепочки (DCC) используются в абстрактной алгебраической теории размерностей. Частично упорядоченное
