diff options
Diffstat (limited to 'library/numbers.tex')
| -rw-r--r-- | library/numbers.tex | 10 |
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} |