From ae87e9547b39926d77894ff349708d7fa92171bb Mon Sep 17 00:00:00 2001
From: Sophie <43860774+walkingsophie@users.noreply.github.com>
Date: Thu, 21 Sep 2023 10:49:31 +0100
Subject: [PATCH] Update 03_metric_spaces.tex

Fixed Typo
---
 ib/antop/03_metric_spaces.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ib/antop/03_metric_spaces.tex b/ib/antop/03_metric_spaces.tex
index 977213b..8c41b9a 100644
--- a/ib/antop/03_metric_spaces.tex
+++ b/ib/antop/03_metric_spaces.tex
@@ -3,7 +3,7 @@ \subsection{Definition}
 	Let \( M \) be a set.
 	Then a \textit{metric} on \( M \) is a function \( d \colon M \times M \to \mathbb R \) such that
 	\begin{enumerate}
-		\item (positivity) \( \forall x,y \in M, d(x,y) \geq 0 \), and in particular, \( x = y \iff d(x,x) = 0 \)
+		\item (positivity) \( \forall x,y \in M, d(x,y) \geq 0 \), and in particular, \( x = y \iff d(x,y) = 0 \)
 		\item (symmetric) \( \forall x,y \in M, d(x,y) = d(y,x) \)
 		\item (triangle inequality) \( \forall x,y,z \in M, d(x,z) \leq d(x,y) + d(y,z) \).
 	\end{enumerate}