Scott continuity
From Wikipedia, the free encyclopedia
In mathematics, a function is Scott-continuous if it is continuous with respect to the Scott topology.
In the case where the domain and range are both partially ordered sets equipt with the Scott topology this is equivalent to specifying that the function is monotonic and preserves all directed suprema.
A monotone function
- f : P → Q
between partially ordered sets P and Q preserves all directed suprema if for every directed set D that has a supremum
- sup D in P,
the set
- {fx | x in D}
has the supremum
- f(sup D) in Q.
See also: Glossary of order theory
