Definition:Half-Open Interval/Also defined as

From ProofWiki
Jump to navigation Jump to search

Half-Open Interval: Also defined as

Some sources, when defining a half-open interval, require that $a \preccurlyeq b$.

This is to eliminate the degenerate case where the interval is the empty set.