Nilai klaim sumber bahwa sapu harmonik \(H=\bigcup_{n\geq1}L_n\) tidak terhubung secara lokal. Bedakan definisi literal ini dari sapu tertutup \(\widehat H=H\cup(\{0\}\times[0,1])\text{.}\)