Scott连续性

在数学中，在偏序集合 P 和 Q 之间的单调函数

f : P → Q

是 Scott-连续的，如果它保存所有有向上确界，就是说，对于所有有向集合 D，有着上确界 sup(D) 在 P 中，则集合 {f(x) | x ∈ D} 有上确界 f(sup(D)) 在 Q 中。

这实际上等价于在各自的偏序集合上关于Scott拓扑是连续的。

这是一个与数学相关的小作品，您可以帮助维库扩充其内容。