From c021e79033abbb3fd4458304e701b3c54a284902 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Mon, 16 Sep 2024 19:37:27 +0200
Subject: working commit

---
 library/numbers.tex | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'library/numbers.tex')

diff --git a/library/numbers.tex b/library/numbers.tex
index 98339ad..8624260 100644
--- a/library/numbers.tex
+++ b/library/numbers.tex
@@ -787,6 +787,14 @@ Laws of the order on the reals
     $\intervalopen{a}{b} = \{ x \in \reals \mid a < x < b\}$.
 \end{definition}
 
+\begin{definition}\label{intervalopen_infinite_left}
+    $\intervalopenInfiniteLeft{b} = \{ x \in \reals \mid x < b\}$.
+\end{definition}
+
+\begin{definition}\label{intervalopen_infinite_right}
+    $\intervalopenInfiniteRight{a} = \{ x \in \reals \mid a < x\}$.
+\end{definition}
+
 
 \begin{definition}\label{m_to_n_set}
     $\seq{m}{n} = \{x \in \naturals \mid  m \leq x \leq n\}$.   
-- 
cgit v1.2.3