Komplementer halmaz csak alaphalmazra lehet?

A komplementer B az egy üres halmaz, ha B egy halmaz A-n belül. És C komplementer B is.

Tehát a kifejezés létezik, csak nincs sok értelme.

Egy A halmaz komplementere az a halmaz, amely nem tartalmazza A elemeit, de tagjai az alaphalmaznak.

Vegyük például ezeket a halmazokat:

A:={1;2;3;4;5}

B:={2;3;4}

C:={3}

Ekkor C komplementere az {1;2;4;5} halmaz, mivel itt az A lesz az alaphalmaz (ő nincs benne másik halmazban, és ő a legnagyobb). Ha A még valamilyen halmazban benne van, például U:={0-nál nagyobb, de 10-nél kisebb valós számok}, akkor a fenti halmaz ezekkel az elemekkel kiegészül.

Ha azt akarod leírni, hogy ebben a kontextusban mik azok, amik csak B-ben (így azok A-ban is) benne vannak, azt így tudod leírni: B\C.