Topo Space Real Verfication

1 files changed, 9 insertions, 1 deletions

diff --git a/library/numbers.tex b/library/numbers.tex
index 8624260..406553e 100644
--- a/library/numbers.tex
+++ b/library/numbers.tex
@@ -792,7 +792,15 @@ Laws of the order on the reals
 \end{definition}
 
 \begin{definition}\label{intervalopen_infinite_right}
-    $\intervalopenInfiniteRight{a} = \{ x \in \reals \mid a < x\}$.
+    $\intervalopenInfiniteRight{a} = \{ x \in \reals \mid x > a\}$.
+\end{definition}
+
+\begin{definition}\label{intervalclosed_infinite_left}
+    $\intervalclosedInfiniteLeft{b} = \{ x \in \reals \mid x \leq b\}$.
+\end{definition}
+
+\begin{definition}\label{intervalclosed_infinite_right}
+    $\intervalclosedInfiniteRight{a} = \{ x \in \reals \mid x \geq a\}$.
 \end{definition}