Definition:Interval/Ordered Set/Left Half-Open

From ProofWiki
Jump to: navigation, search

Definition

Let $\struct {S, \preccurlyeq}$ be an ordered set.

Let $a, b \in S$.


The left half-open interval between $a$ and $b$ is the set:

$\hointl a b := a^\succ \cap b^\preccurlyeq = \set {s \in S: \paren {a \prec s} \land \paren {s \preccurlyeq b} }$

where:

$a^\succ$ denotes the strict upper closure of $a$
$b^\preccurlyeq$ denotes the lower closure of $b$.


Also defined as

Some sources require that $a \preccurlyeq b$.


Also see

  • Results about intervals can be found here.


Technical Note

The $\LaTeX$ code for \(\hointl {a} {b}\) is \hointl {a} {b} .

This is a custom $\mathsf{Pr} \infty \mathsf{fWiki}$ command designed to implement Wirth interval notation.

The name is derived from half-open interval on the left.


Sources