linksoffenes, halboffenes Intervall

Seien \(a,b \in M\) einer total geordneten Menge. Dann ist das linksoffenes und halboffenes Intervall definiert als:

\begin{align*} ]a,b] \coloneqq (a,b] \coloneqq \{x \in M \vert a < x \leq b\} \end{align*}