Монотонная функция — Википедия
Монотонная функция Определение монотонности Монотонная функция возрастает или убывает на своем диапазоне. Монотонность является фундаментальным свойством в математике и информатике. […]
Вики
Order theory
Вики
Причинные множества — Википедия
Причинно-следственные связи Обзор литературы по каузальным множествам Каузальные множества — это математические структуры, описывающие причинно-следственные связи в пространстве-времени. В статье
Вики
Верхняя топология — Википедия
Верхняя топология Определение верхней топологии Верхняя топология — это топология, в которой замыкание одноэлементного множества является разделом упорядоченного множества. Все
Вики
Специализация (предварительный)заказ — Википедия
Специализированный (предварительный) заказ Определение и мотивация порядка специализации Порядок специализации связывает точки топологического пространства, когда одна находится в замыкании другой.
Вики
Дистрибутивность (теория порядка) — Википедия
Дистрибутивность (теория порядка) Основы дистрибутивности в теории порядка Дистрибутивность — ключевое понятие в теории порядка, определяющее операции объединения и пересечения.
Вики
Ограниченное множество — Википедия
Ограниченное множество Определение ограниченного множества Множество называется ограниченным, если все его точки находятся на определенном расстоянии друг от друга. Множество,
Вики
Колодец-квазиупорядочение — Википедия
Хорошо организованный квазиупорядоченный Определение и свойства wqo wqo — это множество с частичным порядком, удовлетворяющим определенным условиям. wqo является расширением
Вики
Интервальный порядок — Википедия
Порядок интервалов Определение интервального порядка Интервальный порядок — это частично упорядоченное множество, где элементы являются интервалами. Интервальные порядки могут быть
Вики
Встраивание заказа — Википедия
Внедрение заказа Определение вложения порядка Вложение порядка — это монотонная функция, которая встраивает одно частично упорядоченное множество в другое. Вложение
Вики
Частично заказанный комплект — Википедия
Частично упорядоченный набор Определение и примеры частично упорядоченных множеств Частично упорядоченное множество — это множество с отношением порядка, которое не
Вики
Непрерывность Скотта — Википедия
Непрерывность Скотта Определение и свойства топологии Скотта Топология Скотта — это топология на частично упорядоченном множестве, основанная на непрерывных функциях.
Вики
Теорема Клини о неподвижной точке — Википедия
Теорема Клини о неподвижной точке Теорема Клини о неподвижной точке Теорема утверждает существование восходящей цепочки Клини для монотонных функций на
Вики
Домен Скотт — Википедия
Домен Скотта Определение и свойства области Скотта Область Скотта — это алгебраический, направленно-полный и ограниченно-полный частичный порядок. Дана Скотт была
Вики
Компактный элемент — Википедия
Компактный элемент Определение компактности в теории порядка Компактные элементы — это элементы, которые не могут быть включены в верхнюю часть
Вики
Компактный элемент — Википедия
Компактный элемент Определение компактности в теории порядка Компактные элементы — это элементы, которые не могут быть включены в верхнюю часть
Вики
Компактный элемент — Википедия
Компактный элемент Определение компактности в теории порядка Компактные элементы — это элементы, которые не могут быть включены в верхнюю часть
Вики
Непрерывность Скотта — Википедия
Непрерывность Скотта Определение и свойства топологии Скотта Топология Скотта — это топология на частично упорядоченном множестве, основанная на непрерывных функциях.
Вики
Функция сохранения предела (теория порядка) — Википедия
Функция сохранения предела (теория порядка) Основы теории порядка Функции, сохраняющие пределы, сопоставляют границы множеств с их границами изображений. Пределы могут
Вики
Полный частичный заказ — Википедия
Полный частичный заказ Определение и свойства полных частных порядков Полный частный порядок (cpo) — это частично упорядоченное множество с наименьшей
Вики
Глоссарий теории порядка — Википедия
Глоссарий теории порядка Основные понятия теории порядка Частичный порядок: бинарное отношение, удовлетворяющее рефлексивности, антисимметричности и транзитивности. Частично упорядоченное множество: множество
Вики
Наименьшая неподвижная точка — Википедия
Наименьшая фиксированная точка Определение и свойства фиксированной точки Фиксированная точка — это элемент, который остается неизменным при применении функции. Наименьшая