#Contents# * table of contents {:toc} Whenever editing is allowed on the [[nLab:HomePage|nLab]] again, this article should be ported over there. ## Definition ## #### In Archimedean ordered fields #### Let $F$ be an [[Archimedean ordered field]] and let $$F_{+} \coloneqq \sum_{a:F} 0 \lt a$$ be the positive elements in $F$. A function $f:F \to F$ is __uniformly continuous__ in $F$ if $$isUniformlyContinuous(f) \coloneqq \prod_{\epsilon:F_{+}} \Vert \sum_{\delta:F_{+}} \prod_{x:F} \prod_{y:F} (\vert x - y \vert \lt \delta) \to (\vert f(x) - f(y) \vert \lt \epsilon) \Vert$$ ## See also ## * [[Archimedean ordered field]] * [[pointwise continuous function]]