Finite Interval

A Finite Interval is a Numeric Interval that can be mapped to a Finite Set.

• Context:
• Example(s):
  • [1,100]_I ⇒ {1 < 2 < 3 … < 100}
  • [1,1] ⇒ {1}, a Degenerate Interval.
  • [1,0] ⇒ {}, an Empty Interval.
  • …
• Counter-Example(s):
  • [0,∞)_I ⇒ {0<1<2<3<4<...<∞}, a Countable Interval (of Non-Negative Integers).
  • [0,1)_R ⇒ {0, π/4,..., 0.999999...} a Real Number Interval, from The Real Number Sequence.
• See: Countable Interval, Uncountable Interval.

---