diff --git a/src/fa/lc/convex.tex b/src/fa/lc/convex.tex
index 934ba2b..8a738ce 100644
--- a/src/fa/lc/convex.tex
+++ b/src/fa/lc/convex.tex
@@ -140,7 +140,7 @@
     \end{enumerate}
     The topology induced by $\seqi{d}$ is the \textbf{vector space topology induced by} $\seqi{[\cdot]}$. In addition,
     \begin{enumerate}
-        \item[(U)] For any family $\seqj{[\cdot]}$ of seminorms continuous on $E$, the vector space topology induced by $\seqj{[\cdot]}$ is contained in the vector space topology induced by $\seqi{[\cdot]}$.
+        \item[(U)] For any family $\bracsn{[\cdot]_j}_{j \in J}$ of continuous seminorms on $E$, the vector space topology induced by $\bracsn{[\cdot]_j}_{j \in J}$ is contained in the vector space topology induced by $\seqi{[\cdot]}$.
     \end{enumerate}
 \end{definition}