ブール代数
Topological Boolean algebra