From 26cf156763f71aaa9f638408ba4bffb85b886ab0 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Sat, 31 Aug 2024 18:02:42 +0200
Subject: working commit

---
 library/topology/urysohn.tex | 6 ++++++
 1 file changed, 6 insertions(+)

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

diff --git a/library/topology/urysohn.tex b/library/topology/urysohn.tex
index e1fa924..17e2911 100644
--- a/library/topology/urysohn.tex
+++ b/library/topology/urysohn.tex
@@ -61,6 +61,11 @@ The first tept will be a formalisation of chain constructions.
     \end{enumerate}
 \end{struct}
 
+% Eine folge ist ein Funktion mit domain \subseteq Ordinal zahlen 
+
+
+
+
 \begin{definition}\label{cahin_of_subsets}
     $C$ is a chain of subsets iff
     $C$ is a sequence and for all $n,m \in \indexset[C]$ such that $n < m$ we have $\index[C](n) \subseteq \index[C](m)$.
@@ -237,6 +242,7 @@ The first tept will be a formalisation of chain constructions.
     for all $x \in \carrier[X]$ we have $\{x\}$ is closed in $X$.
 \end{axiom}
 
+
 \begin{lemma}\label{urysohn_set_in_between}
     Let $X$ be a urysohn space.
     Suppose $A,B \in \closeds{X}$.
-- 
cgit v1.2.3

