Tiga topologi yang dimaksud adalah \(\tau_2=\{\emptyset,\{a,b\},X\}\text{,}\) \(\tau_3=\{\emptyset,\{a,c\},X\}\text{,}\) dan \(\tau_4=\{\emptyset,\{b,c\},X\}\text{.}\) Pertukaran \(b\) dan \(c\) membawa \(\tau_2\) ke \(\tau_3\text{,}\) sedangkan pertukaran \(a\) dan \(c\) membawa \(\tau_2\) ke \(\tau_4\text{.}\) Karena permutasi ini membawa seluruh koleksi himpunan terbuka ke koleksi pasangannya, keduanya merupakan homeomorfisme.

Sebaliknya, ruang yang homeomorfik dengan \(\tau_2\) harus mempunyai tepat tiga himpunan terbuka dan satu-satunya himpunan terbuka proper tak kosong harus beranggota dua. Dalam daftar sumber, tepat \(\tau_2,\tau_3,\tau_4\) yang memenuhi kedua invarian ini. Jadi tidak ada anggota kelas yang terlewat.