diff options
Diffstat (limited to 'library/topology/metric-space.tex')
| -rw-r--r-- | library/topology/metric-space.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/topology/metric-space.tex b/library/topology/metric-space.tex index bcc5b8c..0ed7bab 100644 --- a/library/topology/metric-space.tex +++ b/library/topology/metric-space.tex @@ -7,7 +7,7 @@ \section{Metric Spaces} \begin{definition}\label{metric} - $f$ is a metric on $M$ iff $f$ is a function from $M \times M$ to $\reals$ and + $f$ is a metric on $M$ iff $f$ is a function from $M \times M$ to $\reaaals$ and for all $x,y,z \in M$ we have $f(x,x) = \zero$ and $f(x,y) = f(y,x)$ and |