Tahap 1. Hasil sebelumnya menunjukkan bahwa himpunan terhubung harus memuat setiap titik di antara dua anggotanya.

Tahap 2. Sifat tersebut adalah sifat pendefinisi interval.

Tahap 3. Sertakan interval terbatas, tak terbatas, singleton, dan himpunan kosong.