Unbounded Closed Real Interval/Examples

From ProofWiki
Jump to navigation Jump to search

Examples of Unbounded Closed Real Intervals

Example $1$

Let $I$ be the unbounded closed real interval defined as:

$I := \hointl \gets 3$

Then $2 \in I$.