ブール代数
Countable atomless Boolean algebra