Непрерывность Скотта

• Непрерывные функции Скотта используются в моделях для лямбда-исчислений и денотационной семантике компьютерных программ. 
• Открытые множества Скотта образуют полную решетку, упорядоченную по включению. 
• Непрерывные функции Скотта всегда монотонны и подмножества направленного полного частичного порядка замкнуты относительно топологии Скотта. 
• Направленный полный частичный порядок с топологией Скотта всегда является пространством Колмогорова. 
• Топология Скотта может быть определена для топологических пространств, упорядоченных по включению.