英和和英

出典:『Wikipedia』 (2010/10/09 18:53 UTC 版)

英語による解説

引用

In mathematics, given two partially ordered sets P and Q a function between them is Scott-continuous (named after the mathematician Dana Scott) if it preserves all directed suprema, i.e. if for every directed subset D of P with supremum in P its image has a supremum in Q, and that supremum is the image of the supremum of D: sup f(D) = f(sup D).