# Definition:Real Interval/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}$