In mathematics, given two partially ordered sets P and Q, a function f : P → Q between them is Scott-continuous (named after the mathematician Dana Scott) if it preserves all directed suprema. That is, 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, i.e.
In mathematics, given two partially ordered sets P and Q, a function f : P → Q between them is Scott-continuous (named after the mathematician Dana Scott) if it preserves all directed suprema. That is, 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, i.e.
Source: Wikipedia "Scott continuity" · CC BY-SA 4.0
Share this article: X · Bluesky