Jedem der betrachteten Intervalle \((a,b)\) mit \(a<b\) kann man
umkehrbar eindeutig das Paar rationaler Zahlen
\((a,b) \in \{(a,b)\in \mathbb{Q}^2:\; a<b\}\) zuordnen.
Als Teilmenge der abzählbaren Menge \(\mathbb{Q}\times \mathbb{Q}\)
ist letztere Menge ebenfalls abzählbar.