diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-09-16 19:37:27 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-09-16 19:37:27 +0200 |
| commit | c021e79033abbb3fd4458304e701b3c54a284902 (patch) | |
| tree | 6bbcb8fce9ac6b1c263749d561d67434d6f60127 /library/numbers.tex | |
| parent | 13d7b11c23f8862c9f214c46ee05fad314e9e698 (diff) | |
working commit
Diffstat (limited to 'library/numbers.tex')
| -rw-r--r-- | library/numbers.tex | 8 |
1 files changed, 8 insertions, 0 deletions
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\}$. |