Boolean algebra
Completeness (Boolean algebra)