Dalam topologi diskret, \(\{a\}\) dan komplemennya \(\{b,c,d\}\) sama-sama buka. Keduanya tak kosong, saling lepas, dan gabungannya \(X\text{.}\) Jadi keduanya membentuk pemisahan.