interval

[cite:;refer to @analysis_cummings_2019 chapter 1 the reals; definition 1.33]