From b8cc467735054bb3c38bf37b5e29877ba756c4b5 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Tue, 27 Aug 2024 20:20:46 +0200
Subject: working commit

---
 library/topology/urysohn2.tex | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

(limited to 'library/topology/urysohn2.tex')

diff --git a/library/topology/urysohn2.tex b/library/topology/urysohn2.tex
index ea49a6c..a64fa7e 100644
--- a/library/topology/urysohn2.tex
+++ b/library/topology/urysohn2.tex
@@ -16,6 +16,22 @@
 \section{Urysohns Lemma}
 
 
+\begin{definition}\label{one_to_n_set}
+    $\seq{m}{n} = \{x \in \naturals \mid  m \leq x \leq n\}$.   
+\end{definition}
+
+\begin{struct}\label{sequence}
+    A sequence $X$ is a onesorted structure equipped with
+    \begin{enumerate}
+        \item $\index$
+        \item $\indexset$
+    \end{enumerate}
+    such that
+    \begin{enumerate}
+        \item\label{indexset_is_subset_naturals} $\indexset[X] \subseteq \naturals$.
+        \item\label{index_is_bijection} $\index[X]$ is a bijection from $\indexset[X]$ to $\carrier[X]$.
+    \end{enumerate}
+\end{struct}
 
 \begin{abbreviation}\label{urysohnspace}
     $X$ is a urysohn space iff
@@ -33,6 +49,7 @@
 
 
 
+
 \begin{theorem}\label{urysohn}
     Let $X$ be a urysohn space.
     Suppose $A,B \in \closeds{X}$.
@@ -52,6 +69,8 @@
         % & x ,x \in X    <- will result in technicly ambigus parse
     \end{cases}
 
+
+    $U_1$
     Trivial.
     
     
-- 
cgit v1.2.3

