Perhatikan diagram Venn berikut. Komplemen dari (A - B)

Semua elemen di luar area yang hanya ada di A.

Pembahasan

Untuk menentukan komplemen dari (A - B) pada diagram Venn, kita perlu memahami definisi dari operasi himpunan tersebut.

Misalkan S adalah semesta pembicaraan (seluruh area dalam persegi panjang pada diagram Venn).

1.  **A - B (A dikurangi B):** Himpunan ini berisi semua elemen yang ada di himpunan A tetapi TIDAK ada di himpunan B. Secara visual pada diagram Venn, ini adalah area yang hanya berada di dalam lingkaran A, tidak termasuk area irisannya dengan B.

2.  **Komplemen dari (A - B):** Komplemen dari suatu himpunan (dilambangkan dengan tanda aksen ' atau huruf C) adalah himpunan semua elemen dalam semesta pembicaraan yang TIDAK termasuk dalam himpunan tersebut.
    Jadi, komplemen dari (A - B), atau (A - B)', adalah semua elemen dalam S yang TIDAK termasuk dalam (A - B).

    Ini berarti komplemen dari (A - B) mencakup:
    *   Elemen yang ada di himpunan B (termasuk irisan A dan B).
    *   Elemen yang ada di luar kedua himpunan A dan B (tetapi masih dalam semesta S).

    Secara simbolis, komplemen dari (A - B) adalah gabungan dari:
    *   Himpunan B
    *   Semesta S dikurangi gabungan A dan B (S - (A U B))

    Alternatif lain untuk memahaminya:
    Komplemen dari (A - B) adalah (A' U B).
    *   A' adalah komplemen dari A (semua yang di luar A).
    *   B adalah himpunan B.
    *   A' U B berarti semua yang di luar A ATAU semua yang di dalam B.
    Ini secara visual mencakup seluruh lingkaran B dan area di luar lingkaran A.

    Jika kita perhatikan, area yang hanya di A (A - B) adalah bagian dari A yang tidak beririsan dengan B. Komplemennya adalah semua area lain di dalam semesta. Ini mencakup:
    *   Bagian B yang tidak beririsan dengan A (B - A).
    *   Bagian A yang beririsan dengan B (A ∩ B).
    *   Bagian di luar A dan B (komplemen dari A U B).
    
    Jadi, komplemen dari (A - B) adalah gabungan dari B dan komplemen dari A (B U A'). Ini sama dengan gabungan dari B dan semua area di luar A.