From d187feb6184f424901616c4bc807b13a595f0fd8 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Tue, 28 Apr 2026 18:04:05 -0400
Subject: [PATCH] Fixed partition index typo.

---
 src/fa/rs/partition.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/fa/rs/partition.tex b/src/fa/rs/partition.tex
index dad5fed..a3ec0bc 100644
--- a/src/fa/rs/partition.tex
+++ b/src/fa/rs/partition.tex
@@ -30,7 +30,7 @@
 
 \begin{definition}[Fine]
 \label{definition:partition-refinement}
-    Let $P = \seqfz[m]{x_j}, Q = \seqfz{y_j} \in \scp([a, b])$, then $Q$ is \textbf{finer} than $P$ if for every $0 \le j \le m$, there exists $0 \le k \le m$ such that $x_j = y_k$. For any $P, Q \in \scp([a, b])$, denote $P \le Q$ if $Q$ is finer than $P$, then
+    Let $P = \seqfz[m]{x_j}, Q = \seqfz{y_j} \in \scp([a, b])$, then $Q$ is \textbf{finer} than $P$ if for every $0 \le j \le m$, there exists $0 \le k \le n$ such that $x_j = y_k$. For any $P, Q \in \scp([a, b])$, denote $P \le Q$ if $Q$ is finer than $P$, then
     \begin{enumerate}
         \item $\scp([a, b])$/$\scp_t([a, b])$ equipped with $\le$ is a upward-directed set.
         \item If $P \le Q$, then $\sigma(P) \ge \sigma(Q)$.