complement

In de verzamelingenleer is het complement van een deelverzameling gedefinieerd met betrekking tot een verzameling waarvan alle betrokken verzamelingen deel van zijn. Het complement van is de deelverzameling van bestaande uit alle elementen van die niet tot behoren. De verzameling wordt in dit verband als universele verzameling aangeduid en het complement van genoteerd als of , zonder verdere verwijzing naar ; dus: Is niet de universele verzameling, dan is er sprake van een relatief complement en is er geen speciale notatie. Het relatieve complement van ten opzichte van kan uitgedrukt worden als verschil of