The intersection of any sequence of closed intervals is non-empty.

The intersection of a sequence of nested closed intervals with lengths approaching zero contains exactly one point.

Every interval contains a rational number.

The union of all intervals is $\mathbb{R}$.