diff options
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\}$. |