Tahap 1. Ada tepat dua kelas ekuivalensi.

Tahap 2. Uji apakah masing-masing kelas itu terbuka dalam \([0,1]\text{.}\)