Koleksi awal memuat semua singleton dan pasangan \(\{a,b\},\{a,c\},\{a,d\},\{b,d\},\{c,d\}\text{.}\) Gabungan \(\{a\}\cup\{b\}=\{a,b\}\) dan \(\{a\}\cup\{c\}=\{a,c\}\) sudah ada, tetapi \(\{b\}\cup\{c\}=\{b,c\}\) memaksa pasangan yang hilang. Selanjutnya gabungan pasangan dengan singleton memaksa keempat himpunan tiga unsur \(\{a,b,c\},\{a,b,d\},\{a,c,d\},\{b,c,d\}\text{.}\) Dengan lima tambahan itu semua 16 subhimpunan \(X\) hadir, sehingga koleksi menjadi topologi diskret \(\mathcal P(X)\text{.}\) Karena setiap tambahan muncul sebagai gabungan anggota yang sudah diwajibkan, kelimanya memang minimum.