ブール代数
Completeness (Boolean algebra)