diff --git a/src/fa/lc/bornologic.tex b/src/fa/lc/bornologic.tex
index eacdaf4..cded22b 100644
--- a/src/fa/lc/bornologic.tex
+++ b/src/fa/lc/bornologic.tex
@@ -47,7 +47,7 @@
 
 \begin{proposition}
 \label{proposition:bornologic-continuous-complete}
-    Let $E$ be a bornologic space and $F$ be a complete Hausdorff locally convex space, then $L_b(E; F)$ is complete. In particular, $E^*$ equipped with the topology of bounded convergence is complete.
+    Let $E$ be a bornologic space and $F$ be a complete separated locally convex space, then $L_b(E; F)$ is complete. In particular, $E^*$ equipped with the topology of bounded convergence is complete.
 \end{proposition}
 \begin{proof}
     By \autoref{proposition:bornologic-bounded}, $L_b(E; F) = B(E; F)$. By \autoref{proposition:operator-space-completeness}, $B(E; F)$ is complete, so $L_b(E; F)$ is complete as well.
diff --git a/src/fa/lc/hahn-banach.tex b/src/fa/lc/hahn-banach.tex
index f72de95..067860b 100644
--- a/src/fa/lc/hahn-banach.tex
+++ b/src/fa/lc/hahn-banach.tex
@@ -136,7 +136,7 @@
             \item $\dpb{x, \phi}{E} = \inf_{y \in M}\rho(x + y)$.
         \end{enumerate}
         \item For any $x \in E$ and continuous seminorm $\rho: E \to [0, \infty)$, there exists $\phi \in E^*$ with $|\phi| \le \rho$ and $\dpb{x, \phi}{E} = \rho(x)$.
-        \item If $E$ is Hausdorff, then for any $x, y \in E$, there exists $\phi \in E^*$ with $\dpb{x, \phi}{E} \ne \dpb{y, \phi}{E}$.
+        \item If $E$ is separated, then for any $x, y \in E$, there exists $\phi \in E^*$ with $\dpb{x, \phi}{E} \ne \dpb{y, \phi}{E}$.
     \end{enumerate}
 \end{proposition}
 \begin{proof}
diff --git a/src/fa/lc/projective.tex b/src/fa/lc/projective.tex
index 89c1a31..14fe16e 100644
--- a/src/fa/lc/projective.tex
+++ b/src/fa/lc/projective.tex
@@ -25,7 +25,7 @@
 
 \begin{proposition}[{{\cite[II.5.4]{SchaeferWolff}}}]
 \label{proposition:complete-lc-projective-limit}
-    Let $E$ be a Hausdorff complete locally convex space over $K \in \RC$, $\mathcal{B} \subset \cn_E(0)$ be a fundamental system of neighbourhoods consisting of convex, circled, and radial sets, directed under inclusion.
+    Let $E$ be a separated complete locally convex space over $K \in \RC$, $\mathcal{B} \subset \cn_E(0)$ be a fundamental system of neighbourhoods consisting of convex, circled, and radial sets, directed under inclusion.
 
     For each $U \in \mathcal{B}$, let $[\cdot]_U$ be its gauge, $M_U = \bracs{x \in E|[\cdot]_U = 0}$, $E_U = E/M_U$, and $\norm{\cdot}_U: E_U \to [0, \infty)$ be the quotient of $[\cdot]_U$ by $M_U$, then
     \begin{enumerate}
@@ -51,7 +51,7 @@
 
     (3): Let $\lim E_U$ be the projective limit. For each $U \in \mathcal{B}$, let $p_U: \lim E_U \to E_U$ be the canonical map.
 
-    Let $x \in E$. Since $E$ is Hausdorff and $\mathcal{B}$ is a fundamental system of neighbourhoods at $0$, there exists $U \in \mathcal{B}$ such that $\pi_U(x) \ne 0$. In which case, $p_U \circ \pi(x) = \pi_U(x) \ne 0$, so $\pi$ is injective.
+    Let $x \in E$. Since $E$ is separated and $\mathcal{B}$ is a fundamental system of neighbourhoods at $0$, there exists $U \in \mathcal{B}$ such that $\pi_U(x) \ne 0$. In which case, $p_U \circ \pi(x) = \pi_U(x) \ne 0$, so $\pi$ is injective.
 
     Let $x \in \lim E_U$. For each $U \in \mathcal{B}$, let $x_U \in E$ such that $\pi_U(x_U) = p_U(x)$. For any $V \in \cn_E(0)$, there exists $W \in \mathcal{B}$ with $W \subset V$. In which case, for any $U \in \mathcal{B}$ with $U \subset W$,
     \[
diff --git a/src/fa/tvs/completion.tex b/src/fa/tvs/completion.tex
index 2b184a4..d5141d4 100644
--- a/src/fa/tvs/completion.tex
+++ b/src/fa/tvs/completion.tex
@@ -5,7 +5,7 @@
 \label{definition:tvs-completion}
     Let $E$ be a TVS over $K \in \RC$, then there exists $(\wh E, \iota)$ such that:
     \begin{enumerate}
-        \item $\wh E$ is a complete Hausdorff TVS.
+        \item $\wh E$ is a complete separated TVS.
         \item $\iota \in L(E; \wh E)$.
         \item[(U)] For any $(F, T)$ satisfying (1) and (2), there exists a unique $\ol{T} \in L(\wh E; F)$ such that the following diagram commutes:
     \end{enumerate}
diff --git a/src/fa/tvs/continuous.tex b/src/fa/tvs/continuous.tex
index 6e83183..13fe2e4 100644
--- a/src/fa/tvs/continuous.tex
+++ b/src/fa/tvs/continuous.tex
@@ -54,7 +54,7 @@
 
 \begin{theorem}[Linear Extension Theorem (TVS)]
 \label{theorem:linear-extension-theorem-tvs}
-    Let $E$ be a TVS over $K \in \RC$, $F$ be a complete Hausdorff TVS over $K$, $D \subset E$ be a dense subspace, and $T \in L(D; F)$, then:
+    Let $E$ be a TVS over $K \in \RC$, $F$ be a complete separated TVS over $K$, $D \subset E$ be a dense subspace, and $T \in L(D; F)$, then:
     \begin{enumerate}
         \item There exists an extension $\ol T \in L(E; F)$ such that $\ol T|_D = T$.
         \item[(U)] For any $S \in C(E; F)$ satisfying (1), $S = \ol T$.
diff --git a/src/fa/tvs/quotient.tex b/src/fa/tvs/quotient.tex
index 2c14a72..38632a0 100644
--- a/src/fa/tvs/quotient.tex
+++ b/src/fa/tvs/quotient.tex
@@ -40,7 +40,7 @@
 
 \begin{proposition}
 \label{proposition:tvs-quotient-hausdorff}
-    Let $E$ be a TVS over $K \in \RC$, $M \subset E$ be a subspace, then $E/M$ is Hausdorff if and only if $M$ is closed.
+    Let $E$ be a TVS over $K \in \RC$, $M \subset E$ be a subspace, then $E/M$ is separated if and only if $M$ is closed.
 \end{proposition}
 \begin{proof}
     The space $M$ is closed if and only if
@@ -48,5 +48,5 @@
     M = \bigcap_{V \in \cn(0)}M + V
     \]
 
-    which is equivalent to $E/M$ being Hausdorff.
+    which is equivalent to $E/M$ being separated.
 \end{proof}