斯科特連續性

維基百科,自由的百科全書

數學中,在偏序集合PQ之間的單調函數

f : PQ

Scott-連續的,如果它保存所有有向上確界,就是說,對於所有有向集合D,有着上確界sup(D)在 P中,則集合{f(x) | xD} 有上確界f(sup(D))在Q中。

這實際上等價於在各自的偏序集合上關於斯科特拓撲連續的。