斯科特連續性

在數學中 ， 在偏序集合P和Q之間的單調函數 f: P → Q 是Scott - 連續的 ， 如果它保存所有有向上確界 ， 就是說 ， 對於所有有向集合D ， 有着上確界sup ( D ) 在 P中 ， 則集合 { f ( x ) | x ∈ D } 有上確界f ( sup ( D ) ) 在Q中 。 這實際上等價於在各自的偏序集合上關於斯科特拓撲是連續的 。 Category: 域理論