scott-continuousとは 意味・読み方・使い方

意味・対訳 数学において、二つの半順序集合 P と Q が与えられたとき、それらの間の関数 f: P → Q がスコット連続（スコットれんぞく、英: Scott-continuous）であるとは、それがすべての有向上限を保存する、すなわち、上限を P に持つすべての有向部分集合 D に対し、その像は Q に上限を持ち、 sup f (D) = f (sup D) が成立することを言う。