Rays

Definition: Ray

Let $S$ be a set with a Total Order $\le$ and a Strict Total Order $<$.

Each $a\in S$ defines the following rays:

• $(-\infty ;a)\stackrel{\text{def}}{=}\{s\in S\mid s<a\}$
• $(-\infty ;a]\stackrel{\text{def}}{=}\{s\in S\mid s\le a\}$
• $(a;+\infty )\stackrel{\text{def}}{=}\{s\in S\mid a<s\}$
• $[a;+\infty )\stackrel{\text{def}}{=}\{s\in S\mid a\le s\}$