Subhimpunan tertutup nontrivial adalah semua subhimpunan sejati \(F\subsetneq X\) yang memuat \(0\text{,}\) bersama \(\{-1\}\text{,}\) \(\{1\}\text{,}\) dan \(\{-1,1\}\text{.}\)