Fixed typo in variation function.

src/fa/rs/bv.tex

@@ -29,7 +29,7 @@
     is the \textbf{variation function} of $f$ with respect to $\rho$, and:
     \begin{enumerate}
         \item $T_{f, \rho}: [a, b] \to [0, \infty]$ is a non-negative, non-decreasing function. 
-        \item If $f \in BV([a, b]; E)$, then for any $[c, d] \subset [a, b]$, $[f]_{\text{var}, \rho} = T_{f, \rho}(d) - T_{f, \rho}(a)$. 
+        \item If $f \in BV([a, b]; E)$, then for any $[c, d] \subset [a, b]$, $[f]_{\text{var}, \rho} = T_{f, \rho}(d) - T_{f, \rho}(c)$. 
     \end{enumerate}
 \end{definition}
 \begin{proof}

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)$.