Boolean algebra
ストーンの表現定理 (ブール代数)