Di atas sumbu, proyeksi suatu himpunan terhubung ke sumbu \(x\) harus menjadi subhimpunan terhubung dari bilangan irasional.