summaryrefslogtreecommitdiff
path: root/library/topology/real-topological-space.tex
diff options
context:
space:
mode:
authorSimon-Kor <52245124+Simon-Kor@users.noreply.github.com>2024-09-23 01:20:05 +0200
committerSimon-Kor <52245124+Simon-Kor@users.noreply.github.com>2024-09-23 01:20:05 +0200
commit29f32e2031eafa087323d79d812a1b38ac78f977 (patch)
tree8868ac427d007062223dda4c545fc3bc9b8d9c87 /library/topology/real-topological-space.tex
parent1b05816322dc79b20976350393f71840c697eb46 (diff)
working commit
Diffstat (limited to 'library/topology/real-topological-space.tex')
-rw-r--r--library/topology/real-topological-space.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/library/topology/real-topological-space.tex b/library/topology/real-topological-space.tex
index b2e5ea9..c76fd46 100644
--- a/library/topology/real-topological-space.tex
+++ b/library/topology/real-topological-space.tex
@@ -11,7 +11,7 @@
\import{function.tex}
-\section{The canonical topology on $\mathbb{R}$}
+\section{Topology Reals}
\begin{definition}\label{topological_basis_reals_eps_ball}
$\topoBasisReals = \{ \epsBall{x}{\epsilon} \mid x \in \reals, \epsilon \in \realsplus\}$.