# Definition:Subinterval

Let $I$ be a real interval.
A subinterval $J$ of $I$ is a real interval such that $J \subseteq I$.