Define continuity of maps between CPO properly

cpo.tex

@@ -21,8 +21,9 @@
   A map on \defn{cpo}{CPOs}
   \(\phi : \map{(X, \sqsubseteq)}{(X', \sqsubseteq')}\) is
   \emph{(Scott-)continuous} if is \de{monotone} and it preserves
-  \des{join}, \[ x_0 \sqsubseteq  \dots \sqsubseteq \bigsqcup_{i =
-      0}^\infty x_i \implies \phi(x_0) \sqsubseteq' \dots \sqsubseteq' \phi\left(\bigsqcup_{i =
+  \des{join} for all chains
+  \(\forall \left(x_i\right)_{i \in \mathbb{N}}\):
+  \[ {\bigsqcup_{i = 0}^\infty}' \phi(x_i) = \phi\left(\bigsqcup_{i =
         0}^\infty x_i\right) \]
 \end{definition}