die für Intervallschachtelungen I, J durch \begin{eqnarray}I\sim J & :\iff & I\,\text{und}\,J\,\text{haben}\,{eine}\\ & & \text{gemeinsame\,Verfeinerung}\end{eqnarray}

definierte Äquivalenzrelation, die, ausgehend von den rationalen Zahlen, zur Definition der reellen Zahlen als Äquivalenzklassen von Intervallschachtelungen rationaler Zahlen benutzt wird.