Jabarkan Komplemen relatif dari Komplemen (teori himpunan)

Jika  dan  adalah himpunan, maka komplemen relatif  dalam , juga disebut beda himpunan  dan , adalah himpunan unsur-unsur di  tapi bukan di .

Komplemen relatif  di  dilambangkan  menurut standar ISO 31-11. Ini terkadang ditulis , tapi notasi ini ambigu, karena dalam beberapa konteks, ini dapat diinterpretasikan sebagai himpunan semua unsur-unsur , dimana  diambil dari  dan  diambil dari .