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: