Непрерывность по Скотту
Непрерывность по Скотту — свойство функций над частично упорядоченными множествами, выражающееся в сохранении точной верхней грани относительно отношения частичного порядка.

Топология Скотта — структура над полной решёткой или, в более общем случае, над полным частично упорядоченным множеством, в которой открытыми считаются верхние множества, недоступные для прямых соединений, или эквивалентно, топология, в рамках которой функции над частично упорядоченными множествами, сохраняющие точную верхнюю грань, являются непрерывными.

Понятия были разработаны в 1970-е годы Даной Скоттом, благодаря им построены первая непротиворечивая модель бестипового λ-исчисления и . В частности, функции аппликации и каррирования являются непрерывными по Скотту.
Q11348
функций
Concept
Q474715
частично упорядоченными множествами
Concept
Q17502105
точной верхней грани
Concept
Q1069998
отношения частичного порядка
Concept
Q179899
структура
Concept
None
полной решёткой
UNK
Q474715
полным частично упорядоченным множеством
Concept
Q474715
верхние множества
Concept
Q474715
частично упорядоченными множествами
Concept
Q176977
непрерывными
Concept
Q35014
1970-е
Concept
Q49823
Даной Скоттом
PER
Q1319773
непротиворечивая
Concept
None
бестипового λ-исчисления
UNK
None
аппликации
UNK
Q1144925
каррирования
Concept
Q895815
Непрерывность по Скотту
Concept
1970-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
в 1970
DATE
named after
part of