Himpunan (A-B)^c adalah identik dengan:

Himpunan $(A-B)^c$ identik dengan $A^c \cup B$.

Pembahasan

Himpunan $(A-B)^c$ adalah komplemen dari selisih himpunan A dan B. Komplemen suatu himpunan berarti semua elemen yang ada di dalam semesta pembicaraan (U) tetapi tidak berada di dalam himpunan tersebut.

Pertama, mari kita definisikan $A-B$. Himpunan $A-B$ (atau $A 	ext{ acksim } B$) adalah himpunan semua elemen yang termasuk dalam A tetapi tidak termasuk dalam B. Dalam notasi himpunan:
$A-B = \{x \mid x \in A \text{ dan } x \notin B\}$

Selanjutnya, kita definisikan komplemen dari himpunan $A-B$, yaitu $(A-B)^c$. Ini berarti semua elemen dalam semesta pembicaraan (U) yang tidak termasuk dalam $A-B$.
$(A-B)^c = \{x \mid x \notin (A-B) \}$

Karena $A-B$ berisi elemen yang ada di A tetapi tidak di B, maka $(A-B)^c$ berisi elemen yang:
1. Tidak ada di A, ATAU
2. Ada di B.

Dalam notasi:
$(A-B)^c = \{x \mid x \notin A \text{ atau } x \in B\}$

Ini adalah definisi dari gabungan himpunan $A^c$ (komplemen A) dan B, di mana $A^c = \{x \mid x \notin A\}$.

Jadi, $(A-B)^c = A^c \cup B$.