More typo fixes.

src/fa/lc/convex.tex

@@ -112,7 +112,7 @@
 
 \begin{lemma}
 \label{lemma:continuous-seminorm}
-    Let $E$ be a TVS over $K \in \RC$ and $[\cdot]: E \times E \to [0, \infty)$ be a seminorm on $E$, then the following are equivalent:
+    Let $E$ be a TVS over $K \in \RC$ and $[\cdot]: E \to [0, \infty)$ be a seminorm on $E$, then the following are equivalent:
     \begin{enumerate}
         \item $[\cdot]$ is uniformly continuous.
         \item $[\cdot]$ is continuous.
@@ -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}