>>397と過去スレ019の4より、任意のBoole代数 A に対して A は ε＾Hom(A, ε) の
部分対象(過去スレ018の646)になる。
Hom(A, ε) は A の指標空間 A＾(>>304)である。
ε＾Hom(A, ε) は A＾の冪集合 P(A＾) のなすBoole代数と同一視される。
よって、A は P(A＾) の部分代数に同型である。
これはStoneの表現定理(>>88)に他ならない。