在数学中,在偏序集合和之间的单调函数
是Scott-连续的,如果它保存所有有向上确界,就是说,对于所有有向集合,有着上确界sup()在 中,则集合{() | ∈ } 有上确界(sup())在中。
这实际上等价于在各自的偏序集合上关于斯科特拓扑是连续的。
在数学中,在偏序集合和之间的单调函数
是Scott-连续的,如果它保存所有有向上确界,就是说,对于所有有向集合,有着上确界sup()在 中,则集合{() | ∈ } 有上确界(sup())在中。
这实际上等价于在各自的偏序集合上关于斯科特拓扑是连续的。