summaryrefslogtreecommitdiff
path: root/library/topology/urysohn2.tex
diff options
context:
space:
mode:
Diffstat (limited to 'library/topology/urysohn2.tex')
-rw-r--r--library/topology/urysohn2.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/library/topology/urysohn2.tex b/library/topology/urysohn2.tex
index f2f6ef3..ea49a6c 100644
--- a/library/topology/urysohn2.tex
+++ b/library/topology/urysohn2.tex
@@ -46,7 +46,7 @@
Define $f : X \to \reals$ such that $f(x) = $
\begin{cases}
- &(x + x) &\text{if} x \in X
+ &(x + k) &\text{if} x \in X \land k \in \naturals
& x &\text{if} x \neq \zero
& \zero & \text{if} x = \zero
% & x ,x \in X <- will result in technicly ambigus parse