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