Typo fix.

.vscode/settings.json

@@ -3,6 +3,10 @@
         {
             "label": "Watch",
             "task": "Watch"
+        },
+        {
+            "label": "Conservative Watch",
+            "task": "Conservative"
         }
     ],
     "latex.linting.enabled": false,

.vscode/tasks.json

@@ -39,6 +39,19 @@
               }
             }
           }
+        },
+        {
+          "label": "Conservative",
+          "type": "shell",
+          "command": "npx spec watch --conservative",
+          "windows": {
+            "options": {
+              "shell": {
+                "executable": "cmd.exe",
+                "args": ["/d", "/c"]
+              }
+            }
+          }
         }
     ]
   }

src/topology/functions/set-systems.tex

@@ -38,7 +38,7 @@
         \item If $\mathfrak{E}(\sigma, \fU)$ forms a fundamental system of entourages for $\fV$.
     \end{enumerate}
 
-    The uniformity $\fV$ is the \textbf{$\sigma$-uniformity}, and the topology induced by $\fV$ is the \textbf{topology of uniform convergence on the sets $\sigma$}/\textbf{$\sigma$-uniform topology} on $X^T$.
+    The uniformity $\fV$ is the \textbf{$\sigma$-uniformity}, and the topology induced by $\fV$ is the \textbf{topology of uniform convergence $\sigma$}, or the \textbf{$\sigma$-uniform topology} on $X^T$.
 \end{definition}
 \begin{proof}
     (1): Since $\Delta \subset E(S, U)$ for all $S \in \sigma$ and $U \in \fU$, $\mathfrak{E}(\sigma, \fU)$ generates a uniformity on $X^T$.