1: \begin{definition}[{The Scott topology, \cite[Section 4.2]{goubault-larrecq}}]

2: Let $X$ be a poset. Then a subset $U \subseteq X$ is called Scott-open if it is upwards closed and if for any directed subset $D \subseteq X$ with $\sup(D) \in U$ we have $U \cap D \neq \varnothing$.

3: 

4: For algebraic posets, the Scott topology has as basis of open sets the sets

5: \[

6: \uparrow x = \{ y \in X : x \leq y \}

7: \]

8: where $x$ ranges over the finite elements of $X$ \cite[Theorem 5.1.27]{goubault-larrecq}.

9: 

10: The specialization order associated to the Scott topology is the original partial order on $X$.\footnote{Here we define the specialization order on the points of a topological space as $x \leq y$ if and only if there is an inclusion of point closures $\cl(x)\subseteq \cl(y)$. The opposite convention is popular as well.}

11: \end{definition}

12: