Boolean algebra
ブール代数についてのストーンの表現定理