Struktur pentingnya adalah bendera \(\{a\}\subsetneq\{a,c\}\text{.}\) Relabel pasangan “titik singleton, titik kedua dalam himpunan dua elemen” dengan semua kemungkinan.