From 91752ee56117f8600c7f579d65f90d512da5a216 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Fri, 26 Jun 2026 00:17:28 -0400
Subject: [PATCH] Added compact definition.

---
 src/topology/main/compact.tex | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/topology/main/compact.tex b/src/topology/main/compact.tex
index e97bde3..db05182 100644
--- a/src/topology/main/compact.tex
+++ b/src/topology/main/compact.tex
@@ -45,6 +45,12 @@
     then $\fB$ is a filter base consisting of closed sets. By assumption, there exists $x \in \bigcap_{i \in I}U_j^c$, so $\mathbf{U}$ is not an open cover, contradiction.
 \end{proof}
 
+\begin{definition}[Relatively Compact]
+\label{definition:relatively-compact}
+    Let $X$ be a topological space and $A \subset X$, then $A$ is \textbf{relatively compact} if $\ol A$ is compact. 
+\end{definition}
+
+
 \begin{proposition}
 \label{proposition:compact-extensions}
     Let $X$ be a topological space and $E, F \subset X$ be compact, then the following sets are compact: