Theorem. Alternative characterisation of continuity [dt-001O]

A function f : A \rightarrow B on cpos A and B is continuous iff:

  1. f is monotonic, and
  2. f(\bigsqcup X) = \bigsqcup \{ f(x) \mid x \in X \}, for all directed X \subseteq A