Scott continuity
From Wikipedia, the free encyclopedia
(Redirected from Meet continuous)
In mathematics, a function between two partially ordered sets P and Q 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:
Equivalently, a function f between partially ordered sets is Scott-continuous if it is continuous with respect to the Scott topology; this is a topology on partially ordered sets where a subset O of a partially ordered set is called open if it is an upper set and if all directed sets D with supremum in O have non-empty intersection with O.
Every Scott-continuous function is monotonic.
Contents |
[edit] Examples
For CPO,of computer
