In de
verzamelingenleer is het
complement van een
deelverzameling A gedefinieerd met betrekking tot een
verzameling U waarvan alle betrokken verzamelingen deel van zijn. Het
complement van
A is de deelverzameling van
U bestaande uit alle
elementen van
U die niet tot
A behoren.