Boolean algebra
ブール代数に対するストーン表現定理