Глоссарий теории порядка
Глоссарий теории порядка Частичный порядок – бинарное отношение, рефлексивное, антисимметричное и транзитивное. Частично упорядоченное множество – набор с частичным порядком. […]
Глоссарий теории порядка Частичный порядок – бинарное отношение, рефлексивное, антисимметричное и транзитивное. Частично упорядоченное множество – набор с частичным порядком. […]
Мономиальный порядок Лексикографический порядок – это мономиальный порядок, основанный на лексикографическом сравнении показателей неопределенностей. Порядок исключения гарантирует, что одночлен с
Оператор закрывания Замыкание множества – это множество всех подмножеств, содержащих данное множество. Замыкание множества является топологическим тогда и только тогда,
Соединение Галуа Связи Галуа – это морфизмы между частично упорядоченными множествами, которые сохраняют превосходства и нижние границы. Монотонная связь Галуа
Непрерывность Скотта Непрерывные функции Скотта используются в моделях для лямбда-исчислений и денотационной семантике компьютерных программ. Открытые множества Скотта образуют полную
Полный частичный заказ Полные частные порядки (PPCo) являются обобщением полных порядков и имеют важные свойства. PPCo являются декартовой замкнутой категорией
Общий заказ Общий порядок – отношение, которое удовлетворяет условиям транзитивности, рефлексивности и антисимметричности. Упорядоченные множества могут быть полностью упорядоченными или
Частично упорядоченный набор Частичный порядок – это отношение между элементами, которое не обязательно симметрично. В специальной и общей теории относительности
Теория порядка Порядки играют важную роль в математике, включая теорию порядка и универсальную алгебру. Порядки могут быть ограниченными последовательностями, решетками,
Сильная антицепь В теории порядка подмножество A частично упорядоченного множества P является сильной нисходящей антицепью, если никакие два различных элемента
Верхняя и нижняя границы Верхняя граница подмножества S в теории порядка – элемент из K, больше или равный каждому элементу
Интервал (математика) Интервалы – это ограниченные множества действительных чисел с определенными свойствами. Интервалы могут быть открытыми, замкнутыми или полуоткрытыми. Интервальная