ブール代数
Generalized Boolean algebra