Tahap 1. Setiap interval terbuka Euklides juga terbuka dalam \(\tau_K\text{;}\) jadi topologi \(K\) lebih halus daripada topologi Euklides.

Tahap 2. Gunakan selimut \(\{(-n,n)\mid n\in\Z^+\}\text{.}\)