Boolean algebra
Topological Boolean algebra