ブール代数
Boolean algebra (structure)