1 files changed, 1 insertions, 1 deletions
diff --git a/library/topology/basis.tex b/library/topology/basis.tex
index e33909f..d8cfeaf 100644
--- a/library/topology/basis.tex
+++ b/library/topology/basis.tex
@@ -44,7 +44,7 @@
     there exists $W\in B$ such that $x\in W\subseteq U, V$.
 \end{definition}
 
-\begin{definition}\label{genOpens}
+\begin{definition}\label{genopens}
     $\genOpens{B}{X} = \left\{ U\in\pow{X} \middle| \textbox{for all $x\in U$ there exists $V\in B$
     \\ such that $x\in V\subseteq U$}\right\}$.
 \end{definition}