Boolean algebra
Complement (Boolean algebra)