From 47b8f198e11338d70c6d53a2fdc3280ed1f6c42b Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Mon, 22 Jun 2026 12:33:43 -0400
Subject: [PATCH] Clamped the Ky Fan metric.

---
 src/measure/measurable-maps/in-measure.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/measure/measurable-maps/in-measure.tex b/src/measure/measurable-maps/in-measure.tex
index 41e3a7d..9fbd370 100644
--- a/src/measure/measurable-maps/in-measure.tex
+++ b/src/measure/measurable-maps/in-measure.tex
@@ -35,7 +35,7 @@
 \label{definition:ky-fan}
     Let $(X, \cm, \mu)$ be a measure space, $(Y, d)$ be a metric space, and
     \[
-    \alpha: \mathscr{M}(X; Y)^2 \to [0, \infty) \quad (f, g) \mapsto \inf\bracs{\eps > 0| \mu\bracs{d(f, g) > \eps} \le \eps}
+    \alpha: \mathscr{M}(X; Y)^2 \to [0, \infty) \quad (f, g) \mapsto \inf\bracs{\eps > 0| \mu\bracs{d(f, g) > \eps} \le \eps} \wedge 1
     \]
 
     then: