nested intervals

Formally,
a sequence of intervals $I_{n}$ with $n \in N$ is nested if

I_{1} \supseteq I_{2} \supseteq \dots \supseteq I_{n} \supseteq \dots

Visually,

\documentclass[tikz,margin={2cm 0cm}]{standalone}
\usetikzlibrary{arrows.meta}
%
\begin{document}
\begin{tikzpicture}
	\draw[|-|] (-5,4) -- (5,4) node[midway,anchor=north] {$I_1$};
	\draw[|-|] (-4,3) -- (4,3) node[midway,anchor=north] {$I_2$};
	\draw[|-|] (-3,2) -- (3,2) node[midway,anchor=north] {$I_3$};
	\node at (0,1) {$\vdots$};
	\draw[|-|] (-1,0) -- (1,0) node[midway,anchor=north] {$I_n$};
	\node at (0,-1) {$\vdots$};
\end{tikzpicture}
\end{document}