Boolean algebra
可算カントール代数はカントール集合のすべての開かつ閉な部分集合からなるブール代数である。これは可算個の生成元上の自由ブール代数である。同型を除いて、これは可算かつ atomless なブール代数で非自明な唯一のものである。