Definition. Scott topology and continuous [math-8KRP]

Scott open subsets of DD form a topology, this is the Scott topology on DD. A continuous function f:D→Ef : D \to E will preserve directed least element f(⊔DX)=⊔Ef(X)f(\sqcup_D X) = \sqcup_E f(X) for all directed X⊆DX \subseteq D.