Definition:Real Interval/Length

From ProofWiki
Jump to navigation Jump to search

Definition

Let:

$\closedint a b$

or

$\hointr a b$

or

$\hointl a b$

or

$\openint a b$

be a real interval.


The difference $b - a$ between the endpoints is called the length of the interval.


Sources