Definition:Real Interval/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition 1

A (real) interval is a subset $I$ of the real numbers such that:

$\forall x, y \in I: \forall z \in \R : \paren {x \le z \le y \implies z \in I}$


Also see


Sources