diff --git a/src/topology/main/quotient.tex b/src/topology/main/quotient.tex
index e1ace76..5b8945c 100644
--- a/src/topology/main/quotient.tex
+++ b/src/topology/main/quotient.tex
@@ -26,8 +26,8 @@
     Let $X$ be a topological space, $\sim$ be an equivalence relation on $X$, then there exists $(\td X, \pi)$ such that:
     \begin{enumerate}
         \item $\td X$ is a topological space with ground set $X/\sim$.
-        \item $\pi$ is constant on each equivalence class of $\sim$.
         \item $\pi \in C(X; \td X)$.
+        \item $\pi$ is constant on each equivalence class of $\sim$.
         \item[(U)] For any pair $(Y, f)$ satisfying (1), (2), and (3), there exists a unique $\td f \in C(\td X; Y)$ such that the following diagram commutes:
         \[
         \xymatrix{